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 MoreMetadata
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.