Systems theory and a drive towards model-based safety analysis.

Cody Harrison Fleming

Published in: SysCon (2017)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
distributed systems
formal methods
fault model
artificial intelligence
symbolic model checking
cooperative
complex systems
adaptive systems
set theory