TY  - BOOK
AU  - Flammini,Francesco
AU  - Bologna,Sandro
AU  - Vittorini,Valeria
ED  - SpringerLink (Online service)
TI  - Computer Safety, Reliability, and Security: 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642242700
AV  - QA76.9.A25 
U1  - 005.8 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Data protection
KW  - Computer software
KW  - Computer Science
KW  - Systems and Data Security
KW  - Software Engineering
KW  - Algorithm Analysis and Problem Complexity
KW  - Computers and Society
KW  - Special Purpose and Application-Based Systems
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-24270-0
ER  -