30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
نام نخستين پديدآور
Francesco Flammini, Sandro Bologna, Valeria Vittorini (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiv, 482 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
6894
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-24269-4
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SAFECOMP 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer security, Congresses
موضوع مستند نشده
Computers-- Reliability, Congresses
رده بندی ديویی
شماره
004
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
76
.
R44
نشانه اثر
I58
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Bologna, Sandro
مستند نام اشخاص تاييد نشده
Flammini, Francesco
مستند نام اشخاص تاييد نشده
Vittorini, Valeria
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )