Koornneef,  F.|Meulen, M. <br/><br/>
Computer safety reliability and security 

 - London  Springer  1998 
 - X, 432p. 
<br/><br/> Constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007, held in Nuremberg, Germany, in September 2007. Consists of the 33 revised full papers and 16 short papers presented reviewed and selected from 136 submissions. Presents an organized topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Varifiction and valdation|Software process improvement|Safty guidelines, standards and certification|Hardware aspect
<br/><br/><label>LC Class. No.: </label>TX79.3 .K66 2000