Login / Signup
An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System.
Fumio Machida
Jianwen Xiang
Kumiko Tadano
Shigeru Hosono
Published in:
DSN Workshops (2015)
Keyphrases
</>
safety analysis
safety critical
knowledge based systems
nuclear power plant
artificial intelligence
symbolic model checking
control system
software engineering