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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3464232
بازگشت