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 |
