Fourth International Conference on the Quantitative Evaluation of Systems-Title
Peng Wu, Catuscia Palamidessi, Huimin Lin · 2007
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.