Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir. Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. In Ernesto Exposito, Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, editors, Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, Hammamet, Tunisie, 13-15 Mai 2015. Volume L-8 of RNTI, pages 99-118, Hermann-Éditions, 2015. [doi]
Abstract is missing.