Model-based Safety Analysis for Vehicle Guidance Systems

Cham / Springer (2017) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

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

Identifier