Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation
| Autor: | Pira, Einollah, Rafe, Vahid, Nikanjam, Amin |
|---|---|
| Zdroj: | In Reliability Engineering and System Safety November 2019 191 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect