Title :
Proceedings. First International Conference on the Quantitative Evaluation of Systems
Abstract :
Presents the cover from the proceedings of this conference.
Keywords :
Markov processes; Petri nets; formal verification; optimisation; performance evaluation; programming language semantics; queueing theory; scheduling; Markov chains; Petri nets; formal verification; model checking; optimisation; performance evaluation; programming language semantics; queueing theory; scheduling; symbolic technique;
Conference_Titel :
Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the
Conference_Location :
Enschede, The Netherlands
Print_ISBN :
0-7695-2185-1
DOI :
10.1109/QEST.2004.1347984
