TY  - BOOK
AU  - Bozzano,Marco
AU  - Papadopoulos,Yiannis
ED  - SpringerLink (Online service)
TI  - Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319641195
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer logic
KW  - Software engineering
KW  - Mathematical logic
KW  - Algorithms
KW  - Special purpose computers
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
KW  - Algorithm Analysis and Problem Complexity
KW  - Special Purpose and Application-Based Systems
N1  - Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies; Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies
UR  - https://doi.org/10.1007/978-3-319-64119-5
ER  -