Design Verification of Instrumentation and Control Systems of Nuclear Power Plants
No Thumbnail Available
Click here to download
Date
2014
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Instrumentation and Control, Markov chain, Nuclear Power Plant, Petri Net
Source
IEEE Transactions on Nuclear Science, 2014. Vol. 61 (2): pp. 921-930