Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Abstract

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in
Thessaloniki, Greece, in October 2019.

The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment

Citation

(2019). Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings. In Y. Papadopoulos, K. Aslansefat, P. Katsaros, & M. Bozzano (Eds.), https://doi.org/10.1007/978-3-030-32872-6

• Conference Name: 6th International Symposium, IMBSA: International Symposium on Model-Based Safety and Assessment
• Conference Location: Thessaloniki, Greece
• Start Date: Oct 16, 2019
• End Date: Oct 18, 2019
• Publication Date: 2019
• Deposit Date: Feb 17, 2021
• Print ISSN: 0302-9743
• Electronic ISSN: 1611-3349
• Publisher: Springer
• Series Title: Lecture Notes in Computer Science
• Series Number: 11842
• Series ISSN: 0302-9743 ; 1611-3349
• ISBN: 9783030328719
• DOI: https://doi.org/10.1007/978-3-030-32872-6
• Keywords: Artificial intelligence; Cryptography; Cyber physical systems (cpss); Data security; Embedded systems; Safety critical systems; Security systems; Sensor networks; Sensors; Software engineering; Specifications; System architectures; Systems engineering
• Public URL: https://hull-repository.worktribe.com/output/2909326