Early phase fault propagation analysis of safety critical factory automation systems.

Nikolaos Papakonstantinou Seppo Sierla

Published in: INDIN (2012)

Keyphrases

early phase
data analysis
safety analysis
safety critical
artificial intelligence
knowledge management
decision support system
formal methods
nuclear power plant
fault model