Login / Signup
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.
Erzsébet Németh
Tamás Bartha
Csaba Fazekas
Katalin M. Hangos
Published in:
Reliab. Eng. Syst. Saf. (2009)
Keyphrases
</>
nuclear power plant
safety analysis
coloured petri nets
formal verification
safety critical
formal methods
model checking
condition monitoring
nuclear power
safe operation
fault tolerant
real time
fuzzy logic
knowledge based systems
control system