Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering /
Courtois, Pierre-Jacques.
Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering / [electronic resource] : by Pierre-Jacques Courtois. - London : Springer-Verlag, 2008. - 323 p. : ill., digital ; 24 cm. - Springer Series in Reliability Engineering, 1614-7839 .
9781848003729 (electronic bk.) 9781848003712 (paper)
Computer systems--Reliability.
Nuclear power plants--Safety measures.
Nuclear engineering--Safety measures.
005
Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering / [electronic resource] : by Pierre-Jacques Courtois. - London : Springer-Verlag, 2008. - 323 p. : ill., digital ; 24 cm. - Springer Series in Reliability Engineering, 1614-7839 .
9781848003729 (electronic bk.) 9781848003712 (paper)
Computer systems--Reliability.
Nuclear power plants--Safety measures.
Nuclear engineering--Safety measures.
005