Model-Based Safety Analysis for Vehicle Guidance Systems.

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

Browse the full SAFECOMP paper archive.