ترجمه فارسی توضیحات (ترجمه ماشینی)
ایمنی کامپیوتر، قابلیت اطمینان و امنیت: بیست و یکمین کنفرانس بین المللی، SAFECOMP 2002 کاتانیا، ایتالیا، 10 تا 13 سپتامبر 2002 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین المللی ایمنی، قابلیت اطمینان و امنیت رایانه، SAFECOMP 2002، که در کاتانیا، ایتالیا در سپتامبر 2002 برگزار شد، تشکیل می شود.
27 مقاله اصلاح شده ارائه شده همراه با 3 ارائه اصلی به دقت بررسی شدند. و از 69 مورد ارسالی انتخاب شد. مقالات در بخشهای موضوعی در مورد قابلیت اطمینان سیستم انسان-رایانه، عوامل انسانی، امنیت، ارزیابی قابلیت اطمینان، کاربرد روشهای رسمی، ارزیابی قابلیت اطمینان، طراحی برای قابلیت اطمینان، و ارزیابی ایمنی سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.