Title: Justifying the dependability of computer-based systems
Subjects: Nuclear power plants, Nuclear engineering, safety measures, Computers, reliability, Computer systems, Reliability, Safety measures, Nuclear engineering