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. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 197-212, Poitiers, June 2010.
Mohamed-Amine Labiadh
Akram Idani
Yves Ledru
@InProceedings{LabiahdIL10,
Author = {Labiadh, Mohamed-Amine and Idani, Akram and Ledru, Yves},
Title = {{Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles}},
BookTitle = {Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels},
Pages = {197--212},
Address = {Poitiers},
Month = {June},
Year = {2010}
}
Get EndNote Reference (.ref)