TY  - GEN
N2  - This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.
DO  - 10.1007/978-3-031-15842-1
DO  - doi
AB  - This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.
T1  - Model-based safety and assessment :8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /
AU  - Seguin, Christel,
AU  - Zeller, Marc,
AU  - Prosvirnova, Tatiana,
VL  - 13525
CN  - QA76.63
N1  - Includes author index.
ID  - 1449482
KW  - Computer science
KW  - Computers, Special purpose
KW  - Software engineering
KW  - Algorithms
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
SN  - 9783031158421
SN  - 3031158423
TI  - Model-based safety and assessment :8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15842-1
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15842-1
ER  -