Andere Kunden interessierten sich auch für
![Computer Safety, Reliability, and Security]( "Computer Safety, Reliability, and Security")
Computer Safety, Reliability, and Security60,99 €![Formal Methods]( "Formal Methods")
Formal Methods67,99 €![Graphical Models for Security]( "Graphical Models for Security")
Graphical Models for Security37,99 €![Dependable Software Engineering. Theories, Tools, and Applications]( "Dependable Software Engineering. Theories, Tools, and Applications")
Dependable Software Engineering. Theories, Tools, and Applications37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Model-Based Safety and Assessment]( "Model-Based Safety and Assessment")
Model-Based Safety and Assessment37,99 €![Security and Safety Interplay of Intelligent Software Systems]( "Security and Safety Interplay of Intelligent Software Systems")
Security and Safety Interplay of Intelligent Software Systems37,99 €
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019.
The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.
The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.