Identifiant pérenne de la notice : 174937954
Notice de type
Personne
Combining formal verification environments and model-driven engineering / Selma Djeddai
; directeurs de thèse, Ralph Matthes et Martin Strecker, 2013 [thèse d'exercice]
https://www.irit.fr/, 2021-01-19
Information trouvée : membre de l'Institut de recherche en informatique de Toulouse (IRIT)
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial