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