عنوان
|
ارائه راهکاری برای بهینه سازی فرایند وارسی مدل از طریق تکنیکهای زمان کامپایل در سیستمهای توصیف شده با ماشین زماندار
|
نوع پژوهش
|
پایان نامه های تقاضا محور و غیر تقاضا محور
|
کلیدواژهها
|
در فایل چکیده ضمیمه شده
|
چکیده
|
فایلش ضمیمه شده است
|
پژوهشگران
|
وحید رافع (استاد راهنما)، محمد خدادادی (دانشجو)
|