2009 | ||
---|---|---|
2 | EE | Elhillali Kerkouche, Allaoua Chaoui: A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. ICDCN 2009: 206-211 |
2008 | ||
1 | 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. CAINE 2008: 88-93 |
1 | Elhillali Kerkouche | [1] [2] |
2 | Amel Meliouh | [1] |