Limit search to available items
Book Cover
E-book
Author IMBSA (Symposium) (4th : 2014 : Munich, Germany)

Title Model-based safety and assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings / Frank Ortmeier, Antoine Rauzy (Eds.)
Published Cham : Springer, [2014]
©2014

Copies

Description 1 online resource : illustrations
Series Lecture Notes in Computer Science, 0302-9743 ; 8822
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8822. 1611-3349
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies
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
Notes International conference proceedings
Includes author index
Online resource; title from PDF title page (SpringerLink, viewed October 10, 2014)
Subject System safety -- Simulation methods -- Congresses
Reliability (Engineering) -- Simulation methods -- Congresses
Safety appliances -- Simulation methods -- Congresses
Computer systems -- Simulation methods -- Congresses
Computer science
Computer software
Logic design
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Ortmeier, Frank, editor.
Rauzy, Antoine, editor.
ISBN 9783319122144
3319122142
Other Titles IMBSA 2014