The Community for Technology Leaders
Green Image
Issue No. 08 - August (1979 vol. 12)
ISSN: 0018-9162
pp: 10-18
W. Geiger , Kernforschungszentrum Karlsruhe GmbH
ABSTRACT
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.
INDEX TERMS
null
CITATION
U. Voges, L. Gmeiner, H. Trauboth, W. Geiger, "Program Testing Techniques for Nuclear Reactor Protection Systems", Computer, vol. 12, no. , pp. 10-18, August 1979, doi:10.1109/MC.1979.1658847
90 ms
(Ver )