Issue No. 08 - August (1979 vol. 12)
W. Geiger , Kernforschungszentrum Karlsruhe GmbH
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.
U. Voges, L. Gmeiner, H. Trauboth and W. Geiger, "Program Testing Techniques for Nuclear Reactor Protection Systems," in Computer, vol. 12, no. , pp. 10-18, 1979.