جستجوی نقض ویژگی حیات در سیستمهای پیچیده توصیف شده با تبدیل گراف

مشخصات پژوهش

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

ضمیمه شده است