Suivre
Mohamed Mahdi BENMOUSSA
Mohamed Mahdi BENMOUSSA
Enseignant chercheur à l'école nationale polytechnique de Constantine, ENPC
Adresse e-mail validée de enp-constantine.dz
Titre
Citée par
Citée par
Année
Formalising concurrent UML state machines using coloured Petri nets
É André, MM Benmoussa, C Choppy
Formal Aspects of Computing 28, 805-845, 2016
222016
Translating UML state machines to coloured Petri nets using Acceleo: A report
E André, MM Benmoussa, C Choppy
arXiv preprint arXiv:1405.1112, 2014
192014
Formalising concurrent UML state machines using coloured Petri nets
É André, M Mahdi Benmoussa, C Choppy
Knowledge and Systems Engineering: Proceedings of the Sixth International …, 2015
52015
Formalisation des diagrammes états-transitions UML concurrents
É André, MM Benmoussa, C Choppy
MSR 2013-Modélisation des Systèmes Réactifs, 2013
2013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4