banner
qest logo
9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012

Workshops

Practical Applications of Stochastic Modelling (PASM '12), 17th September 2012.

Parallel and Distributed Methods in Verification (PDMC '12), 17th September 2012.

Workshop on Research and Use of Multiformalism Modeling Methods (WRUMM '12), 17th September 2012.


News

Organized by

Imperial College London


Contact
In cooperation