Elsevier
Reliability Engineering & System Safety

10.1016/j.ress.2019.106577

2019
article

Using Evolutionary Algorithms for Reachability Analysis of Complex Software Systems Specified through Graph Transformation

Pira, Einollah; Rafe, Vahid; Nikanjam, Amin

مقالات دانلود شده اخیر