Computer safety reliability and security
Koornneef, F.|Meulen, M.
Computer safety reliability and security - London Springer 1998 - X, 432p.
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.
Varifiction and valdation|Software process improvement|Safty guidelines, standards and certification|Hardware aspect
TX79.3 .K66 2000
Computer safety reliability and security - London Springer 1998 - X, 432p.
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.
Varifiction and valdation|Software process improvement|Safty guidelines, standards and certification|Hardware aspect
TX79.3 .K66 2000