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]

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