Model-based safety and assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings / Frank Ortmeier, Antoine Rauzy (Eds.).
2014
TA169.7 .I43 2014
Linked e-resources
Linked Resource
Details
Title
Model-based safety and assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings / Frank Ortmeier, Antoine Rauzy (Eds.).
Meeting Name
ISBN
9783319122144 electronic book
3319122142 electronic book
9783319122137
3319122134
3319122142 electronic book
9783319122137
3319122134
Published
Cham : Springer, [2014]
Copyright
©2014
Language
English
Description
1 online resource : illustrations.
Call Number
TA169.7 .I43 2014
Dewey Decimal Classification
620.8/6011
Summary
This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 10, 2014).
Added Author
Series
Lecture notes in computer science ; 8822.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in
Table of Contents
Modeling Paradigms
Validation and Testing
Fault Detection and Handling
Safety Assessment in the Automotive Domain
Case Studies.
Validation and Testing
Fault Detection and Handling
Safety Assessment in the Automotive Domain
Case Studies.