Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings / edited by Marco Bozzano, Yiannis Papadopoulos.
2017
QA76.63
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings / edited by Marco Bozzano, Yiannis Papadopoulos.
ISBN
9783319641195
3319641190
9783319641188
3319641182
3319641190
9783319641188
3319641182
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Language
English
Description
1 online resource (x, 273 pages) : illustrations.
Item Number
10.1007/978-3-319-64119-5 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1015113
Summary
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.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 10437.
Available in Other Form
Print version: 9783319641188
Linked Resources
Record Appears in
Table of Contents
Safety process
Safety models and languages
Fault detection and propagation
Safety assessment in the automotive domain
Case studies.
Safety models and languages
Fault detection and propagation
Safety assessment in the automotive domain
Case studies.