عنوان پایاننامه
مدلسازی، درستییابی و تحلیل سیستمهای مبتنی بر مدل اکتور زمانی
- رشته تحصیلی
- مهندسی کامپیوتر -نرم افزار
- مقطع تحصیلی
- دکتری تخصصی PhD
- تاریخ دفاع
- ۱۹ دی ۱۳۹۵
- دانشجو
- احسان خامس پناه
- استاد راهنما
- رامتین خسروی
