Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
International Journal of Computational Vision and Robotics (IJCVR), 2019 Vol.9 No.2, pp.172 - 191
17 - 2 =

Thank you for your feedback.

Return to top