Sign in

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

Lucie GuillouArnaud SangnierNathalie 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