Sign in

Simulation and Validation Framework for Safety-Critical Applications in System-of-Systems.

Ayman MurshedMohammed AbuteirRoman Obermaisser
Published in: ETFA (2018)
Keyphrases
  • safety critical
  • safety analysis
  • formal methods
  • expert systems
  • management system
  • embedded systems
  • support systems
  • nuclear power plant
  • low cost
  • distributed systems
  • learning systems
  • fault tolerant