Amel Meliouh

According to our database, Amel Meliouh authored at least 2 papers between 2008 and 2018.

Collaborative distances:

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

2018

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

2008

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

Proceedings of the ISCA 21st International Conference on Computer Applications in Industry and Engineering, 2008