Németh, Erzsébet and Bartha, Tamás and Fazekas, Cs. and Hangos, Katalin (2009) Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. RELIABILITY ENGINEERING & SYSTEM SAFETY, 94 (5). pp. 942-953. ISSN 0951-8320
|
Text
RESS_PRISE_Bartha_Rev4_Final_u.pdf Download (325kB) | Preview |
| Item Type: | Article |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 11 Jun 2015 07:08 |
| Last Modified: | 11 Jun 2015 07:08 |
| URI: | http://real.mtak.hu/id/eprint/24605 |
Actions (login required)
 |
Edit Item |
