Mohamed Mahdi Benmoussa

According to our database¹, Mohamed Mahdi Benmoussa authored at least 2 papers in 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Formalising Concurrent UML State Machines Using Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Knowledge and Systems Engineering, 2014