000			01056nam a2200145Ia 4500
008			220515s9999||||xx |||||||||||||| ||und||
050			_aTX79.3 .K66 2000
100			_aKoornneef, F.|Meulen, M.
245		0	_aComputer safety reliability and security
260			_aLondon _bSpringer _c1998
300			_aX, 432p.
500			_aConstitutes 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.
650			_aVarifiction and valdation|Software process improvement|Safty guidelines, standards and certification|Hardware aspect
942			_2lcc _cBK
999			_c6527 _d6527