Laloui, Sara; Laatamna, Amel; Kerkouche, Elhillali(encadeur); Djaoui, Chafika(co-encadreur)
(University of Jijel, 2016-06)
Le travail présenté dans ce mémoire s'inscrit dans le domaine de I'ingenierie dirigé par
les modèles < IDM > en général et dans la transformation et la vérification formelle de
modèles d l'aide des grammaires de graphes ...