Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
Cím | Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets |
Közlemény típusa | Journal Article |
Kiadás éve | 2009 |
Szerzők | Németh, E., Bartha, T., Fazekas, C., and Hangos, K. M. |
Folyóirat | Reliability Engineering & System Safety |
Kötet | 94 |
Kiadás | 5 |
Pagination | 942 - 953 |
Kiadás dátuma | 2009 |
ISBN-szám | 0951-8320 |
Jegyzetek | UT: 000264542300006 |