| 1 |
A three-phase approach to improve the functionality of t-way strategy
|
Soft computing
|
| 2 |
تولید آرایه پوشش کمینه با استفاده از الگوریتم تکامل تفاضلی تطبیقی مبتنی بر تاریخچه موفقیت و کاهش خطی اندازه جمعیت
|
مهندسي برق دانشگاه تبريز
|
| 3 |
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation
|
reliability engineering and system safety
|
| 4 |
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation
|
SOFT COMPUT
|
| 5 |
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation
|
RELIAB ENG SYST SAFE
|
| 6 |
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
|
information and software technology
|
| 7 |
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm
|
System and Software
|
| 8 |
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
|
Applied Soft Computing
|
| 9 |
Verification of confliction and unreachability in rule-based expert systems with model checking
|
International Journal of Artificial Intelligence & Applications: IJAIA
|