Probabilistic Model-Based Safety Analysis

Matthias Güdemann Frank Ortmeier

Published in: QAPL (2010)

Keyphrases

safety analysis
nuclear power plant
fault model
safety critical
control system
symbolic model checking
bayesian networks
reliability analysis
intelligent agents