Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. (A model-driven engineering approach for verifying AADL descriptions). - Mohamed Elkamel Hamdane (2018)

Improving consistency of AADL models: A composition approach. - Mohamed Elkamel Hamdane; Saad Harous; Elhillali Kerkouche; Nabil Messaoudi (Syst. Eng., 2023)