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