DocumentCode
3464232
Title
Fourth International Conference on the Quantitative Evaluation of Systems-Title
fYear
2007
fDate
17-19 Sept. 2007
Abstract
The following topics are dealt with: system quantitative evaluation; specification formalisms; performance analysis; automated model analysis; model checking; symbolic analysis of Markov chains; process algebra; stochastic logic; system modelling.
Keywords
formal specification; formal verification; performance evaluation; process algebra; stochastic processes; Markov chain; automated model analysis; model checking; performance analysis; process algebra; specification formalism; stochastic logic; symbolic analysis; system modelling; system quantitative evaluation;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location
Edinburgh
Print_ISBN
978-0-7695-2883-0
Type
conf
DOI
10.1109/QEST.2007.46
Filename
4338224
Link To Document