Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering - Courtois, Pierre-Jacques.; SpringerLink (Online service) (London : Springer-Verlag, 2008)
Keywords: Computer systems -- Reliability; Nuclear power plants -- Safety measures; Nuclear engineering -- Safety measures