Model Based Safety Analysis with smartIflow †.

Philipp Hönig Rüdiger Lunde Florian Holzapfel

Published in: Inf. (2017)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
real time
neural network
low cost
fuzzy logic
knowledge based systems
orders of magnitude
condition monitoring
reliability analysis