Justifying the dependability of computer-based systems : with applications in nuclear engineering /
Courtois, Pierre Jacques,1937-
London : Springer,
c2008.
Includes bibliographical references (p. [309]-323) and index.
Computer systems
Nuclear power plants
Nuclear engineering