Model-based Safety Analysis for Vehicle Guidance Systems

Cham / Springer (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.)
Seite(n): 3-19

Autorinnen und Autoren

Autorinnen und Autoren

Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias

Identifikationsnummern