آموزش مقدمهای بر مدلسازی برای تأیید رسمی (Formal Verification)
دانلود Introduction to Modeling for Formal Verification
آموزش مفاهیم پایه تأیید عملکردی و مدلچکینگ و بررسی اهمیت آنها در طراحی سیستمهای مدرن و مدلسازی رفتار سختافزار و نرمافزار.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید