Sign in

Designing critical systems with iterative automated safety analysis.

Ran WeiZhe JiangXiaoran GuoHaitao MeiAthanasios ZolotasTim Kelly
Published in: DAC (2022)
Keyphrases
  • safety analysis
  • safety critical
  • complex systems
  • control system
  • distributed systems
  • orders of magnitude
  • nuclear power plant
  • real time
  • expert systems