Login / Signup

Modeling the Variability of System Safety Analysis Using State-Machine Diagrams.

Lucas BressanAndré Luíz de OliveiraFernanda C. A. CamposLeonardo MontecchiRafael CapillaDavid ParkerKoorosh AslansefatYiannis Papadopoulos
Published in: IMBSA (2022)
Keyphrases
  • state machine
  • safety analysis
  • state machines
  • fault tolerant
  • sequence diagrams
  • safety critical
  • artificial intelligence
  • multi agent
  • real valued
  • dynamic systems
  • nuclear power plant