Model-Based Safety Analysis: A Practical Experience.

Bertille Noisette Sébastien Dobol Laurène Monteil

Published in: IMBSA (2022)

Keyphrases

practical experience
safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
reliability analysis
fault tolerant
symbolic representation
formal methods