Login / Signup
Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab.
Dan Slipper
Wilson Ifill
Gordon Hunter
Roger Green
Richard Johnson
Alistair A. McEwan
Published in:
BMMDS/EMMSAD (2012)
Keyphrases
</>
safety analysis
safety critical
tool support
nuclear power plant
case study
embedded systems
machine learning
expert systems
distributed systems
knowledge based systems
design decisions
control system
design process
learning systems
fault tolerant
formal methods