A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line. - Amel Meliouh; Elhillali Kerkouche; Allaoua Chaoui (CAINE, 2008)

Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language. - Amel Meliouh; Allaoua Chaoui (Int. J. Concept. Struct. Smart Appl., 2018)