Sign in
Designing critical systems with iterative automated safety analysis.
Ran Wei
Zhe Jiang
Xiaoran Guo
Haitao Mei
Athanasios Zolotas
Tim 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