| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers | | 978-3-642-03239-4 | 2009 | Darren Cofer |
| Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology) | | 978-0-7923-8429-8 | 1999 | Paolo Ciancarini · Roberto Gorrieri |
| From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | | 978-3-030-30984-8 | 2019 | Maurice H. ter Beek · Laura Semini |
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | | 978-3-319-68498-7 | 2017 | Thierry Lecomte · Alexander Romanovsky |
| Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings | | 978-3-319-23128-0 | 2015 | Patrizio Pelliccione |