Publications de
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
A Case Study in Combining Formal Verification and Model-Driven Engineering (regular paper)
Dans : Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2012), Kherson, 06/06/12-10/06/12, Vol. 848, CEUR-WS : Workshop proceedings, p. 275-289, 2013.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/smsv2012.html – https://oatao.univ-toulouse.fr/12409/
BibTeXSelma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-modeling (regular paper)
Dans : Model and Data Engineering, Poitiers, 03/10/12-05/10/12, Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah (Eds.), Springer, p. 55-66, septembre 2012.
Combining formal verification environments and model-driven engineering
Thèse de doctorat, Université Paul Sabatier, novembre 2013.