|
Depot Institutionnel de l'UMBB >
Browsing by Author Strecker, Martin
Showing results 1 to 4 of 4
| Date de publication | Titre | Auteur(s) | | 2012 | A case study in combining formal verification and model-driven engineering | Djeddai, Selma; Mezghiche, Mohamed; Strecker, Martin |
| 2009 | Formalisation de la logique de description ALC dans l'assistant de preuve Coq | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
| 2012 | Integrating a formal development for DSLs into meta-modeling | Djeddai, Selma; Strecker, Martin; Mezghiche, Mohamed |
| 2010 | Vérification d'une méthode de preuve pour la logique de description ALC | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
Showing results 1 to 4 of 4
|
