۱۴۰۴/۰۲/۱۲
English
وحید رافع
مرتبه علمی:
ارکید:
https://orcid.org/۰۰۰۰-۰۰۰۲-۲۴۸۶-۷۳۸۴
تحصیلات:
دکترای تخصصی
اسکاپوس:
۱۴۰۵۴۹۲۶۸۰۰
دانشکده:
نشانی:
دانشگاه اراک، گروه مهندسی کامپیوتر
تلفن:
پست الکترونیکی:
v-rafe [at] araku.ac.ir
صفحه نخست
فعالیتهای پژوهشی
پیوندها
مشخصات پژوهش
عنوان
استفاده از تکنیکهای چند سطحی به منظور افزایش کارآمدی وارسی مدل سیستمهای توصیف شده با تبدیل گراف
نوع پژوهش
پایان نامه های تقاضا محور و غیر تقاضا محور
کلیدواژهها
وارسی مدل، بن بست، انفجار فضای حالت
سال
1397
پژوهشگران
وحید رافع(استاد راهنما)
،
محمد بیات(استاد مشاور)
،
زهرا پهلوان(دانشجو)
چکیده
پیوست شده است