Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning, Volume 2; Appendixes Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning, Volume 2; Appendixes
Data source
Japan Atomic Energy Agency's Library Catalog
A search system for the collections of the Japan Atomic Energy Agency central library. Books, reports, meeting materials, magazines and dockets collected by the library are searchable.
Last updated
August 15, 2022