Mohammed Lamine Lamouri

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Qualitative Models

Service Composition

Top Venues

Comput. Sci. J. Moldova

Publications

Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
PN2Maude: An automatic tool to generate Maude specification for Petri net models. Comput. Sci. J. Moldova 31 (2) (2023)
Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. ICNSC (2023)