دانلود کتاب Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
by Maurice H. ter Beek
|
عنوان فارسی: سیستم های بحرانی: روش های رسمی و خودکار امنیتی: کارگاه آموزشی بین المللی 21 مشترک روش های رسمی برای سیستم های بحرانی صنعتی و کارگاه آموزشی بین المللی 16 در خودکار تأیید انتقادی سیستم، FMICS-AVoCS 2016، پیزا، ایتالیا، سپتامبر 26-28، 2016، مجموعه مقالات |
دانلود کتاب
جزییات کتاب
این کتاب حاوی مقالاتی است که برای ارائه در 21 امین کارگاه بین المللی و مشترک "روشهای رسمی در حوزه سیستمهای اساسی صنعتی" انتخاب شدهاند. موضوع این کارگاه (FMICS-AVOCS، 2016) اعتبارسنجی خودکار سیستمهای اساسی است که در سپتامبر 2016 در شهر پیزای ایتالیا برگزار شده است. 11 مقالهی کامل، 4 خلاصه مقاله و دیدگاههای سخنران مدعو با دقت مرور و از مجموعاً 24 اثر دریافتی گلچین شدهاند. مطالب به این بخشها تقسیم میشوند: تکنیکهای اعتبارسنجی خودکار، تحلیل سیستمی مدل محور، کاربردها و مطالعات موردی.