Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/model-based-safety-and-assessment/descriptif_4404666
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=4404666

Model-Based Safety and Assessment, 1st ed. 2020 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings Programming and Software Engineering Series

Langue : Anglais

Coordonnateurs : Zeller Marc, Höfig Kai

Couverture de l’ouvrage Model-Based Safety and Assessment

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.