Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning Volume 1 Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning Volume 1
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