| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings | Taschenbuch | 978-3-319-46519-7 | 2016 | Cyrille Artho · Doron Peled |
| Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings | Paperback | 978-3-319-46521-0 | 2016 | Cyrille Artho · Doron Peled |
| Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings | Taschenbuch | 978-3-319-10511-6 | 2014 | Marius Bozga |
| 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 · Yassine Lakhnech |
| Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ... Notes in Computer Science, Band 8244) | " | 978-3-319-03076-0 | 2013 | Valeria Bertacco |
| Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-19, 2019, Proceedings | " | 978-3-030-30922-0 | 2019 | Fabrizio Biondi · Thomas Given-Wilson |
| Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers | " | 978-3-319-76686-7 | 2018 | Nora Cuppens · Frédéric Cuppens · Jean-Louis Lanet · Joaquin Garcia-Alfaro |
| Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings | " | 978-3-642-40786-4 | 2013 | Saddek Bensalem |
| Tools and Algorithms for the Construction and Analysis of Systems | " | 978-3-662-54576-8 | 2017 | Tiziana Margaria |
| Tools and Algorithms for the Construction and Analysis of Systems | " | 978-3-662-54579-9 | 2017 | " |