استفاده از تکنیکهای چند سطحی به منظور افزایش کارآمدی وارسی مدل سیستمهای توصیف شده با تبدیل گراف

مشخصات پژوهش

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

پیوست شده است