Model-based Safety Analysis for Vehicle Guidance Systems

Ghadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias (Corresponding author)

Cham : Springer (2017)
Contribution to a book, Contribution to a conference proceedings

In: 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)/Article-Nr.: 3-19