Login / Signup
Conventional and dynamic safety analysis: Comparison on a chemical batch reactor.
Luca Podofillini
Vinh N. Dang
Published in:
Reliab. Eng. Syst. Saf. (2012)
Keyphrases
</>
safety analysis
nuclear power plant
multi agent
symbolic model checking
dynamic environments
decision making
knowledge base
control system
orders of magnitude
safety critical