Mohamed Mahdi Benmoussa

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

Collaborative distances:

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

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

Formalising Concurrent UML State Machines Using Coloured Petri Nets.

Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy

Proceedings of the Knowledge and Systems Engineering, 2014