Login / Signup
A framework for the system-of-systems analysis of the risk for a safety-critical plant exposed to external events.
Enrico Zio
Elisa Ferrario
Published in:
Reliab. Eng. Syst. Saf. (2013)
Keyphrases
</>
safety critical
safety analysis
formal methods
management system
nuclear power plant
embedded systems
agent architecture
low cost
cooperative
programming language
domain specific
peer to peer
answer set programming
external events