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
- DOI: 10.1007/978-3-319-66266-4_1
- REPORT NUMBER: RWTH-CONV-220398