DocumentCode
1686696
Title
[Front cover]
fYear
2011
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
Conference_Location
Aachen
Print_ISBN
978-1-4577-0973-9
Type
conf
DOI
10.1109/QEST.2011.44
Filename
6042022
Link To Document