DocumentCode
1948716
Title
[Title page i]
fYear
2009
fDate
13-16 Sept. 2009
Abstract
The following topics are dealt with: phase type distribution; Markov arrival process; hardware model; software model; quasy birth-death prrocess; stochastic Petri nets; probabilistic model checking; performance analysis tools; and network models.
Keywords
Markov processes; Petri nets; probability; software performance evaluation; Markov arrival process; hardware model; network models; performance analysis tools; phase type distribution; probabilistic model checking; quasy birth-death prrocess; software model; stochastic Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location
Budapest
Print_ISBN
978-0-7695-3808-2
Type
conf
DOI
10.1109/QEST.2009.1
Filename
5290672
Link To Document