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. |
Year | DOI | Venue |
---|---|---|
1979 | 10.1109/MC.1979.1658847 | IEEE Computer |
Keywords | DocType | Volume |
high-reliability software,nuclear reactor protection systems,program testing techniques,single method,nuclear reactor protection system,complementary technique | Journal | 12 |
Issue | ISSN | Citations |
8 | 0018-9162 | 4 |
PageRank | References | Authors |
1.40 | 5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Geiger, W. | 1 | 4 | 1.40 |
L. Gmeiner | 2 | 4 | 1.74 |
H. Trauboth | 3 | 4 | 2.08 |
udo voges | 4 | 7 | 2.58 |