| 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 | Axel Legay · 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 | Axel Legay · Doron Peled |
| Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races | Taschenbuch | 978-3-89649-997-4 | 2005 |
| Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596) | " | 978-3-319-29509-1 | 2016 | Peter Csaba Ölveczky |
| Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008) | " | 978-3-030-12987-3 | 2019 | " |
| Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... Computer and Information Science, Band 419) | " | 978-3-319-05415-5 | 2014 | " |
| Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... Computer and Information Science, Band 476) | " | 978-3-319-17580-5 | 2015 | " |