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

Németh, Erzsébet and Bartha, Tamás and Fazekas, Csaba and Hangos, Katalin (2009) Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. Reliability Engineering and System Safety, 94 (5). pp. 942-953.

Full text not available from this repository.
Item Type: ISI Article
Subjects: Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions: Systems and Control Lab
Depositing User: Eszter Nagy
Date Deposited: 11 Dec 2012 15:30
Last Modified: 11 Dec 2012 15:30
URI: http://eprints.sztaki.hu/id/eprint/5262

Update Item Update Item