خرید کتاب سیستم های بحرانی: روش های رسمی و اعتبار سنجی خودکار: بیست و دومین کارگاه مشترک بین المللی در مورد تکنیک های رسمی برای سیستم های انتقادی صنعتی و هفدهمین کارگاه بین المللی آزمایش خودکار سیستم های بحرانی ، FMICS-AVoCS 2017 ، تورین ، ایتالیا ، 18 تا 20 سپتامبر 2017. ، مجموعه مقالات

[ad_1]

این کتاب مقاله بررسی شده بیست و دومین کارگاه مشترک بین المللی روشهای رسمی برای سیستمهای انتقادی صنعتی و هفدهمین کارگاه بین المللی تأیید سیستمهای بحرانی خودکار ، FMICS-AVoCS 2017 است که در سپتامبر 2017 در تورین ایتالیا برگزار شد. 14 مقاله کامل ارسال شده به همراه یک مقاله دعوت شده با دقت بررسی و از بین 30 برنامه انتخاب شد. آنها به بخشهای زیر تقسیم می شوند: روشهای تأیید خودکار. آزمایش و برنامه ریزی روش های رسمی برای ربات های تلفن همراه و خودمختار ؛ و تکنیک های مدل سازی و تجزیه و تحلیل.

[ad_2]

read more