| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, ... Notes in Computer Science, Band 6662) | 978-3-642-21291-8 | 2011 | Ethan Jackson |
| Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected ... Notes in Computer Science, Band 7539) | 978-3-642-34058-1 | 2012 | David Garlan |
| Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings | 978-3-319-22968-3 | 2015 | Bernhard Rumpe |
| Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Notes in Computer Science, Band 9509) | 978-3-319-28468-2 | 2016 | Rocco De Nicola · Bernhard Rumpe |
| Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Notes in Computer Science , Band 9509) | 978-3-662-49223-9 | 2016 | Domenico Bianculli · Bernhard Rumpe |
| Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings | 978-3-030-30855-1 | 2019 | Felicita Di Giandomenico |