Title | ||
---|---|---|
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1504/IJCVR.2019.098799 | IJCVR |
DocType | Volume | Issue |
Journal | 9 | 2 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nabil Messaoudi | 1 | 0 | 0.34 |
Allaoua Chaoui | 2 | 85 | 26.27 |
Mohamed Bettaz | 3 | 66 | 11.13 |