Login / Signup
Model-Based Safety Analysis for Vehicle Guidance Systems.
Majdi Ghadhab
Sebastian Junges
Joost-Pieter Katoen
Matthias Kuntz
Matthias Volk
Published in:
SAFECOMP (2017)
Keyphrases
</>
safety analysis
safety critical
control system
real time
distributed systems
learning systems
fault model
embedded systems
nuclear power plant
intelligent systems
formal methods
symbolic model checking