Login / Signup
Automatic SysML-based safety analysis.
Philipp Helle
Published in:
ACES-MB@MoDELS (2012)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
model checking
fault tolerant
reliability analysis
formal verification
reinforcement learning
model based diagnosis
formal methods