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