Program Testing Techniques for Nuclear Reactor Protection Systems

1979 
The high-reliability software required for nuclear reactor protection systems cannot be validated by a single method. This approach combines several different but complementary techniques.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    17
    References
    18
    Citations
    NaN
    KQI
    []