Bellour, Farida; Djaoui, Chafika (Encadreur)
(Université de Jijel, 2019)
Le travail présenté dans ce manuscrit s'inscrit dans le domaine de l'ingénierie dirigée par les modèles (IDM) en général et dans la transforamation et la vérification formelle de modèles a l'aide des grammaires de graphes ...