Justifying the dependability of computer-based systems
Subtitle: with applications in nuclear engineering
By: Pierre-Jacques Courtois.
Series: Springer series in reliability engineering
Publisher: Springer
Published: 2008
Place of publication: London
Language: eng
Number of pages: 323
ISBN-13: 9781848003712; 9781848003729
Subjects: Computer systems -- Reliability; Nuclear power plants -- Safety measures; Nuclear engineering -- Safety measures
Notes: Includes bibliographical references (p. [309]-315) and index.