Title: Software reliability and safety in nuclear reactor protection systems
Subjects: Computer software, Data processing, Nuclear reactors, Reliability, Safety measures