Mohamed Mahdi Benmoussa

Mohamed Mahdi Benmoussa

Ecole Nationale Polytechnique de Constantine - Constantine / Algeria
Others
AD Scientific Index ID: 4780040
المدرسة الوطنية المتعددة التقنيات بقسنطينة
person_outline Mohamed Mahdi Benmoussa's MOST POPULAR ARTICLES
1-) Formalising concurrent UML state machines using coloured Petri nets Formal Aspects of Computing 28, 805-845, 2016
2-) Translating UML state machines to coloured Petri nets using Acceleo: A report arXiv preprint arXiv:1405.1112, 2014
3-) Formalising concurrent UML state machines using coloured Petri nets Knowledge and Systems Engineering: Proceedings of the Sixth International …, 2015
4-) Formalisation des diagrammes états-transitions UML concurrentsÉ André, MM Benmoussa, C ChoppyMSR 2013-Modélisation des Systèmes Réactifs, 20132013