![](/img/cover-not-exists.png)
Deadlock Detection in Complex Software Systems Specified through Graph Transformation Using Bayesian Optimization Algorithm
Pira, Einollah, Rafe, Vahid, Nikanjam, AminLanguage:
english
Journal:
Journal of Systems and Software
DOI:
10.1016/j.jss.2017.05.128
Date:
June, 2017
File:
PDF, 2.07 MB
english, 2017