Model-Based Safety and Assessment

7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings

255 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.

• Reihe: Programming and Software Engineering
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783030589196
• Sprache: Englisch
• Erscheinungsdatum: 04.09.2020
• Größe: 23.5 x 15.5 cm
• Verlag: Springer International Publishing
• Herausgegeben von: Marc Zeller, Kai Höfig