Andere Kunden interessierten sich auch für
![Model-Based Safety and Assessment]( "Model-Based Safety and Assessment")
Model-Based Safety and Assessment37,99 €![FM 2015: Formal Methods]( "FM 2015: Formal Methods")
FM 2015: Formal Methods37,99 €![FM 2014: Formal Methods]( "FM 2014: Formal Methods")
FM 2014: Formal Methods75,99 €![Risk Assessment and Risk-Driven Quality Assurance]( "Risk Assessment and Risk-Driven Quality Assurance")
Risk Assessment and Risk-Driven Quality Assurance37,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €![Behavior Modeling -- Foundations and Applications]( "Behavior Modeling -- Foundations and Applications")
Behavior Modeling -- Foundations and Applications37,99 €![Theory and Applications of Models of Computation]( "Theory and Applications of Models of Computation")
Theory and Applications of Models of Computation39,99 €
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.
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.