| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Concurrency Verification: Introduction to Compositional and Non-compositional Methods | | 978-0-521-80608-4 | 2001 | Willem-Paul de Roever · Frank de Boer · Ulrich Hanneman · Jozef Hooman · Mannes Poel · Job Zwiers |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... and Fault-Tolerant Systems, FTRT | | 978-3-662-20887-8 | 2014 | Sergio Yovine |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science , Band 3253) | | 978-3-540-23167-7 | 2008 | " |
| From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... Notes in Computer Science, Band 8415) | | 978-3-642-54847-5 | 2014 | Saddek Bensalem · Axel Legay |
| Tool Support for System Specification, Development and Verification | | 978-3-211-83282-0 | 1999 | Rudolf Berghammer |