C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Failure Mode Reasoning in Model Based Safety Analysis.
Hamid Jahanian
David Parker
Marc Zeller
Annabelle McIver
Yiannis Papadopoulos
Published in:
CoRR (2020)
Keyphrases
</>
safety analysis
failure modes
nuclear power plant
safety critical
control system
symbolic model checking
fault model
knowledge base
knowledge representation
real time
information systems
orders of magnitude