Tool Supported Model-Based Safety Analysis and Optimization.

Matthias Güdemann Michael Lipaczewski Frank Ortmeier

Published in: PRDC (2011)

Keyphrases

safety analysis
nuclear power plant
fault model
control system
safety critical
information systems
low cost
optimization model
symbolic model checking