Andere Kunden interessierten sich auch für
![Model-Based Safety and Assessment]( "Model-Based Safety and Assessment")
Model-Based Safety and Assessment37,99 €![Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops]( "Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops")
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops37,99 €![Formal Techniques for Safety-Critical Systems]( "Formal Techniques for Safety-Critical Systems")
Formal Techniques for Safety-Critical Systems37,99 €![Rigorous State-Based Methods]( "Rigorous State-Based Methods")
Rigorous State-Based Methods37,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Practice]( "Leveraging Applications of Formal Methods, Verification and Validation. Practice")
Leveraging Applications of Formal Methods, Verification and Validation. Practice48,99 €![Service-Oriented Computing]( "Service-Oriented Computing")
Service-Oriented Computing48,99 €![Runtime Verification]( "Runtime Verification")
Runtime Verification37,99 €
This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.
The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.