ارائه راهکاری برای بهینه سازی فرایند وارسی مدل از طریق تکنیکهای زمان کامپایل در سیستمهای توصیف شده با ماشین زماندار

مشخصات پژوهش

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

فایلش ضمیمه شده است