Buch, Englisch, 380 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 593 g
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings
Buch, Englisch, 380 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 593 g
Reihe: Programming and Software Engineering
ISBN: 978-3-030-32871-9
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Technische Wissenschaften Technik Allgemein Technische Zuverlässigkeit, Sicherheitstechnik
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Technische Wissenschaften Technik Allgemein Systems Engineering
- Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
- Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit
- Mathematik | Informatik EDV | Informatik Angewandte Informatik
Weitere Infos & Material
Safety Models and Languages.- Dependability Analysis Process.- Safety Assessment.- Safety Assessment in Automotive Industry.- AI in Safety Assessment.
