title

Security and privacy in vehicular networks
Title:Security and privacy
Speaker:Professor Josep Domingo-Ferrer(Member of Academia European)
Time:10:00 - 11:30, October 28,2015
Location:Room 201,Mathematics Building 
Abstract:
 Vehicularadhocnetworks(VANETs)allowvehiclestodisseminatemessagesaboutroadconditionstooth...
test announcement2.0
emm test test just test
test announcement1.0
 Professor Yuan Feng is a core member of the Centre for Quantum Computation and Intelligent Systems (QCIS) at UTS. He received his BS degree in Applied Mathematics and PhD dgree in Computer Science from Tsinghua University in 1999 and 2004, respectively.Before joining UTS in 2009, he was an Associa...
Perturbation Analysis in Verification
Title:Perturbation Analysis in Verification of Discrete-Time Markov Chains
Speaker:Professor Yuan Feng (University of Technology Sydney)
Time:10:00 - 11:00, November 27(Friday),2015
Location:Room 1002,Science Building B
Abstract:
       Probabilistic model checking isaverificationtech...