| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings | Taschenbuch | 978-3-662-43651-6 | 2014 | Klaus-Dieter Schewe |
| ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... Computer and Information Science, Band 433) | " | 978-3-319-07511-2 | 2014 | Frederic Boniol · Virginie Wiels · Klaus-Dieter Schewe |
| Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, ... in Computer Science , Band 11852) | " | 978-3-030-32408-7 | 2019 | Shengchao Qin |
| Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings | " | 978-3-319-11586-3 | 2014 | Ladjel Bellatreche · George A. Papadopoulos |
| Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings | " | 978-3-319-45546-4 | 2016 | Ladjel Bellatreche · Óscar Pastor · Jesús M. Almendros Jiménez · Yamine Aït-Ameur |
| Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings | Paperback | 978-3-319-45548-8 | 2016 | Ladjel Bellatreche · Óscar Pastor · Jesús M. Almendros Jiménez |