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:
IMBSA (2020)
Keyphrases
</>
safety analysis
failure modes
nuclear power plant
control system
safety critical
fault model
symbolic model checking
knowledge base
real time
artificial intelligence
knowledge representation
orders of magnitude
intelligent systems
dynamic systems
fuzzy control
formal methods