Login / Signup
Amel Meliouh
Publication Activity (10 Years)
Years Active: 2008-2018
Publications (10 Years): 1
Top Topics
Formal Model
Unified Modeling Language
Predicate Calculus
Conceptual Modeling
Top Venues
Int. J. Concept. Struct. Smart Appl.
</>
Publications
</>
Amel Meliouh
,
Allaoua Chaoui
Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language.
Int. J. Concept. Struct. Smart Appl.
6 (2) (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.
CAINE
(2008)