Meliouh AMEL
PhD student
Univ. Constantine 2
Team : MFGL

Amel meliouh; Allaoua Chaoui
Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. Int. J. of Conceptual Structures and Smart Applications (IJCSSA) 6(2): 42-58 (2018)
Amel Meliouh; Elhillali Kerkouche; Allaoua Chaoui
A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. 21st ISCA Int. Conf. on Computer Applications in Industry and Engineering (CAINE'08): 88-93 (2008)
PhD thesis
Meliouh Amel
UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués. Université Constantine 2, Algérie (2021)