Mohamed Mahdi Benmoussa

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Sequence Diagrams

Top Venues

Formal Aspects Comput.

Publications

Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. 28 (5) (2016)
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Formalising Concurrent UML State Machines Using Coloured Petri Nets. KSE (2014)
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. ESSS (2014)