Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Abdelmaj Hamadou. Vérification d'une architecture UML 2.0 avec l'ADL Wright.
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.167-171.
⟨inria-00000687⟩