آموزش بررسی مدل منطق زمانی (Temporal Logic Model Checking)
دانلود Temporal Logic Model Checking
آموزش مفاهیم پایه تایید عملکردی و بررسی مدل (Model Checking) و بررسی اهمیت آنها در طراحی سیستمهای مدرن و مدلسازی رفتار سختافزار و نرمافزار.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید