SOFTWARE DIVERSITY IN REACTOR PROTECTION SYSTEMS: AN EXPERMENT

Publisher Website

1 January 1980

book chapter
Published by Elsevier

p. 75-79
https://doi.org/10.1016/b978-0-08-024453-2.50014-0

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Program Testing Techniques for Nuclear Reactor Protection Systems
Computer, 1979
User manual
Lecture Notes in Computer Science, 1974