Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets

CímVerification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
Közlemény típusaJournal Article
Kiadás éve2009
SzerzőkNémeth, E., Bartha, T., Fazekas, C., and Hangos, K. M.
FolyóiratReliability Engineering & System Safety
Kötet94
Kiadás5
Pagination942 - 953
Kiadás dátuma2009
ISBN-szám0951-8320
JegyzetekUT: 000264542300006