Justifying the dependability of computer-based aystems : with applications in nuclear engineering
Title
Justifying the dependability of computer-based aystems : with applications in nuclear engineering

Personal Author
Courtois, Pierre-Jacques

Series
Springer series in reliability engineering ;

Publication Information
London, UK : Springer, 2008

Physical Description
xviii, 323 p. : ill. ; 24 cm.

ISBN
9781848003712

Subject Term
Computer systems -- Reliability
 
Nuclear power plants -- Safety measures
 
Nuclear engineering -- Safety measures


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1Status
PSZ JB30000010197263QA76.76.R44 C68 2008Open Access BookBookOpen Access