Sign in
The hazard analysis profile: Linking safety analysis and SysML.
Martina Muller
Michael Roth
Udo Lindemann
Published in:
SysCon (2016)
Keyphrases
</>
safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
reliability analysis
knowledge base