Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.

Lucie Guillou Arnaud Sangnier Nathalie Sznajder

Published in: CONCUR (2023)

Keyphrases

safety analysis
grand challenges
nuclear power plant
control system
safety critical
symbolic model checking
grand challenge
fault model
real time
decision making
decision support system