Title :
Table of contents
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;
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
Conference_Location :
Williamsburg, VA
Print_ISBN :
978-1-4244-8082-1
DOI :
10.1109/QEST.2010.4
