| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings | | 978-3-642-23216-9 | 2011 | Barbara König |
| Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, ... in Computer Science , Band 11951) | | 978-3-030-35539-5 | 2019 | Nan Guan · Jun Sun |
| Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First Eef/Euro Summer School on ... Notes in Computer Science, Band 2090) | | 978-3-540-42479-6 | 2001 | Ed Brinksma · Holger Hermanns |
| Model-Based Testing of Reactive Systems: Advanced Lectures | | 978-3-540-26278-7 | 2008 | Manfred Broy · Bengt Jonsson · Martin Leucker · Alexander Pretschner |
| ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday | | 978-3-319-68269-3 | 2017 | Rom Langerak · Arend Rensink |
| Principles of Model Checking | | 978-0-262-02649-9 | 2008 | Christel Baier |
| Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science , Band 2280) | | 978-3-540-43419-1 | 2008 | Perdita Stevens |
| Validation of Stochastic Systems: A Guide to Current Research | | 978-3-540-22265-1 | 2008 | Holger Hermanns · Markus Siegle · Boudewijn R. Haverkort · Christel Baier |