Safety Verification in Murphy Using Fault Tree Analysis.

Stephen S. Cha Nancy G. Leveson Timothy J. Shimeall

Published in: ICSE (1988)

Keyphrases

fault tree analysis
fault tree
fuzzy numbers
safety analysis
control system
model checking
gas turbine
qualitative analysis
computer vision
intelligent systems
formal verification
computer aided
nuclear power plant
data mining
fault diagnosis
markov chain
machine learning