Mohamed Elkamel HAMDANE
Détails
| Publications |
|---|
|
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou Elhasan Benyamina
A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL 2018): 290-300 (2018) |
|
|
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou El Hasan Benyamina
A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL'18): 290-300 (2018) |
|
|
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui
Using MDA With Model Checking to Ensure the Development of Consistent AADL Models. Int. Conf. on Embedded & Distributed Systems (EDiS’17) (2017) |
| Thèse de doctorat |
|---|
|
Mohamed Elkamel Hamdane
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. Université Constantine 2, Algérie (2018) |
Aucun module à afficher.
Aucun doctorant à afficher.
Aucun stage à afficher.
Aucun logiciel à afficher.