Computer Safety, Reliability, and Security (e-bog) af -
Vittorini, Valeria (redaktør)

Computer Safety, Reliability, and Security e-bog

436,85 DKK (inkl. moms 546,06 DKK)
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verifica...
E-bog 436,85 DKK
Forfattere Vittorini, Valeria (redaktør)
Forlag Springer
Udgivet 15 september 2011
Genrer Digital and information technologies: social and ethical aspects
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783642242700
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.