| 1 |
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems
|
journal of intelligent and fuzzy systems
|
| 2 |
ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم پرندگان و جستجوی گرانشی
|
مهندسي برق دانشگاه تبريز
|
| 3 |
A heuristic solution for model checking graph transformation systems
|
Applied Soft Computing
|
| 4 |
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations
|
Applied Soft Computing
|