학술논문
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
Document Type
Article
Author
Source
In Reliability Engineering and System Safety 2009 94(5):942-953
Subject
Language
ISSN
0951-8320