• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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