Model-Based Safety Analysis for Vehicle Guidance Systems

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001. Model-Based Safety Analysis for Vehicle Guidance Systems. In Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Volume 10488 of Lecture Notes in Computer Science, pages 3-19, Springer, 2017. [doi]

Authors

Majdi Ghadhab

This author has not been identified. Look up 'Majdi Ghadhab' in Google

Sebastian Junges

This author has not been identified. Look up 'Sebastian Junges' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Matthias Kuntz

This author has not been identified. Look up 'Matthias Kuntz' in Google

Matthias Volk 0001

This author has not been identified. Look up 'Matthias Volk 0001' in Google