| 1 |
تولید مجموعه آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از روشهای وارسی مدل و جستجوی
|
انور بهرامپور
|
وحید رافع
|
امین نیک انجام
|
1399/06/26
|
| 2 |
بهبود کارامدی وارسی مدل سیستمهای همروند با بهره گیری از تبدیل گراف و الگوریتمهای جستجوی هوشمند
|
عین الله پیرا
|
وحید رافع
|
امین نیک انجام
|
1396/06/06
|