درستیسنجی سیستمهای زماندار با Uppaal
261 بار بازدید -
3 سال پیش
-
آشنایی با شیوه نصب و
آشنایی با شیوه نصب و راهاندازی، مدلسازی فرایندهای زماندار و انجام شبیهسازی و درستیسنجی دقیق (رسمی) یا Formal Verification با استفاده از ابزار Uppaal.
درس طراحی و ارزیابی سیستمهای بیدرنگ و نهفته.
مقطع کارشناسی ارشد نیمسال اول ۱۴۰۱-۱۴۰۰.
ارائه دهنده: نوید سهرابی
3 سال پیش
در تاریخ 1400/10/05 منتشر شده
است.
261
بـار بازدید شده