30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
First Statement of Responsibility
Francesco Flammini, Sandro Bologna, Valeria Vittorini (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 482 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
6894
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
SUMMARY OR ABSTRACT
Text of Note
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