DocumentCode
2551375
Title
Table of contents
fYear
2010
fDate
15-18 Sept. 2010
Abstract
The following topics are dealt with: probabilistic model checking; performance evaluation; queueing theory; distribution fitting; and Markov decision process.
Keywords
Markov processes; formal verification; performance evaluation; queueing theory; Markov decision process; distribution fitting; performance evaluation; probabilistic model checking; queueing theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
Conference_Location
Williamsburg, VA
Print_ISBN
978-1-4244-8082-1
Type
conf
DOI
10.1109/QEST.2010.4
Filename
5600431
Link To Document