Abstract :
The following topics are dealt with: mean-field analysis; fluid analysis; stochastic hybrid systems; model checking; security and distributed systems.
Keywords :
distributed processing; formal verification; security of data; stochastic systems; distributed systems; fluid analysis; mean-field analysis; model checking; security; stochastic hybrid systems;
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
Conference_Location :
Aachen
Print_ISBN :
978-1-4577-0973-9
DOI :
10.1109/QEST.2011.44
