Authors: Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

Superior Title: Software and Systems Modeling. 22(1):225-245

Authors: Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

Superior Title: Innovations in Systems and Software Engineering: A NASA Journal. 18(1):85-104

Authors: Lahouij, Aida^Aff1, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir

Superior Title: Formal Aspects of Computing: Applicable Formal Methods. 32(4-6):361-393

Authors: Graiet, Mohamed, Hamel, Lazhar, Mammar, Amel, Tata, Samir

Superior Title: Formal Aspects of Computing: Applicable Formal Methods. :1-25