Courtois, Pierre-Jacques. <br/><br/>
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 .
<br/><br/><label>ISBN: </label>9781848003729 (electronic bk.) 9781848003712 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Reliability.<br/>Nuclear power plants--Safety measures.<br/>Nuclear engineering--Safety measures.
<br/><br/><label>Dewey Class. No.: </label>005