Mohamed-Amine Labiadh, Akram Idani, yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles.
Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.197-212.
⟨hal-00953401⟩