Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings / edited by Frank Ortmeier, Antoine Rauzy.
Contributor(s): Ortmeier, Frank [editor.]
| Rauzy, Antoine [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 8822Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Edition: 1st ed. 2014.Description: X, 209 p. 91 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319122144.Subject(s): Computer science | Software engineering | Machine theory | Compilers (Computer programs) | Algorithms | Computer Science Logic and Foundations of Programming | Software Engineering | Formal Languages and Automata Theory | Compilers and Interpreters | AlgorithmsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies.
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.
There are no comments for this item.