Selma Djeddai

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Top Venues

J. Data Semant.

Publications

Selma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-Modeling. J. Data Semant. 3 (3) (2014)
Selma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-modeling. MEDI (2012)
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
A Case Study in Combining Formal Verification and Model-Driven Engineering. ICTERI (2012)
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
Combining Verification and MDE Illustrated by a Formal Java Development. ICTERI (Revised Selected Papers) (2012)