Login / Signup
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees.
Majdi Ghadhab
Sebastian Junges
Joost-Pieter Katoen
Matthias Kuntz
Matthias Volk
Published in:
CoRR (2019)
Keyphrases
</>
safety analysis
fault model
nuclear power plant
safety critical
real time
expert systems
control system
knowledge based systems
dynamic environments
learning systems
complex systems
symbolic model checking