Program Testing Techniques for Nuclear Reactor Protection Systems | IEEE Journals & Magazine | IEEE Xplore
Subscribe
ADVANCED SEARCH
Journals & Magazines >Computer >Volume: 12 Issue: 8

Program Testing Techniques for Nuclear Reactor Protection Systems

PDF
Geiger; Gmeiner; Trauboth; Voges
All Authors

Abstract:

The high-reliability software required for nuclear reactor protection systems cannot be validated by a single method. This approach combines several different but complem...Show More

Metadata

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.
Published in: Computer ( Volume: 12, Issue: 8, August 1979)
Page(s): 10 - 18
Date of Publication: 31 August 1979

ISSN Information:

DOI: 10.1109/MC.1979.1658847
Contact IEEE to Subscribe

References

References is not available for this document.

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.