Computer safety, reliability, and security: proceedings
Auteur :
Flammini, Francesco
ISBN :
9783642242694
Date de publication :
5 sept. 2011
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
692 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. This book includes the papers that are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, and risk and hazard analysis.