Selma Djeddai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2012
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICTERI | A Case Study in Combining Formal Verification and Model-Driven Engineering. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | ICTERI | Combining Verification and MDE Illustrated by a Formal Java Development. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | MEDI | Integrating a Formal Development for DSLs into Meta-modeling. | Selma Djeddai, Martin Strecker, Mohamed Mezghiche |