Model-Based Safety Analysis of Mode Transitions.

Marco Bozzano Peter Munk Markus Schweizer Stefano Tonetta Viktória Vozárová

Published in: SAFECOMP (2020)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
neural network
reliability analysis