| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings | 978-3-642-32468-0 | 2012 | Ralf Pinger |
| Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings | 978-3-030-29661-2 | 2019 | Étienne André |
| Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings | 978-3-642-40195-4 | 2013 | Kaustubh Joshi · Markus Siegle · Pedro R. D'Argenio |
| Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures | 978-3-662-45488-6 | 2014 | Anne Remke |