Design Verification of Instrumentation and Control Systems of Nuclear Power Plants
dc.contributor.author | Singh, L. K. | |
dc.contributor.author | Vinod, G. | |
dc.contributor.author | Tripathi, A. K. | |
dc.date.accessioned | 2015-01-23T06:27:18Z | |
dc.date.available | 2015-01-23T06:27:18Z | |
dc.date.issued | 2014 | |
dc.description.division | RSD | en |
dc.format.extent | 3998 bytes | |
dc.format.mimetype | text/html | |
dc.identifier.source | IEEE Transactions on Nuclear Science, 2014. Vol. 61 (2): pp. 921-930 | en |
dc.identifier.uri | http://hdl.handle.net/123456789/10284 | |
dc.language.iso | en | en |
dc.subject | Instrumentation and Control | en |
dc.subject | Markov chain | en |
dc.subject | Nuclear Power Plant | en |
dc.subject | Petri Net | en |
dc.title | Design Verification of Instrumentation and Control Systems of Nuclear Power Plants | en |
dc.type | Article | en |