| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. ... Notes in Computer Science, Band 9081) | 978-3-319-18578-1 (3-319-18578-0) | 2015 | Marco Gribaudo · Daniele Manini |
| Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, ... Notes in Computer Science, Band 9629) | 978-3-319-31558-4 (3-319-31558-7) | 2016 | Boudewijn R. Haverkort |
| Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures | 978-3-662-45488-6 (3-662-45488-2) | 2014 | Mariëlle Stoelinga |