| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | 8101676 | 3 | 01 | | هرهفته (09:00 - 10:30) | - | ترم اول 1402 |
| مهندسی اینترنت | 8101619 | 3 | 01 | هرهفته (16:00 - 17:30) | هرهفته (16:00 - 17:30) | - | ترم دوم 1400 |
| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | 8101676 | 3 | 01 | هرهفته (09:00 - 10:30) | هرهفته (09:00 - 10:30) | - | ترم اول 1400 |
| آزمون نرم افزار | 8101743 | 3 | 01 | هرهفته شنبه (16:00 - 17:30) | هرهفته دو شنبه (16:00 - 17:30) | 1398/10/21 (08:30 - 11:30) | ترم اول 1398 |
