TY  - GEN
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.
AU  - Seguin, Christel,
AU  - Zeller, Marc,
AU  - Prosvirnova, Tatiana,
CN  - QA76.63
DO  - 10.1007/978-3-031-15842-1
DO  - doi
ID  - 1449482
KW  - Computer science
KW  - Computers, Special purpose
KW  - Software engineering
KW  - Algorithms
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15842-1
N1  - Includes author index.
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.
SN  - 9783031158421
SN  - 3031158423
T1  - Model-based safety and assessment :8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /
TI  - Model-based safety and assessment :8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15842-1
VL  - 13525
ER  -