Mohamed Mahdi Benmoussa

According to our database, Mohamed Mahdi Benmoussa authored at least 2 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Formalising concurrent UML state machines using coloured Petri nets.

Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy

Formal Aspects Comput., 2016

2014

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

Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy

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