درستی‌سنجی دقیق (Formal Verification) با SCADE
278 بار بازدید -
3 سال پیش
-
آشنایی با شیوه انجام درستی‌سنجی
آشنایی با شیوه انجام درستی‌سنجی دقیق (رسمی) یا Formal Verification با استفاده از Scade Design Verifier.
درس طراحی و ارزیابی سیستم‌های بی‌درنگ و نهفته.
مقطع کارشناسی ارشد نیمسال اول ۱۴۰۱-۱۴۰۰.
ارائه دهنده: محمد وزیرپناه
3 سال پیش
در تاریخ 1400/09/03 منتشر شده
است.
278
بـار بازدید شده