Toggle navigation
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
AVIAN
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
AVIAN
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Plus
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
AVIAN
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
AVIAN
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Accueil
Thèses
Thèse de Dr Said MEGHZILI
Auteur
Dr Said MEGHZILI
Informations
Directeur de thèse :
Pr Allaoua CHAOUI
Année de début :
Fin 2015
Université :
Université Constantine 2
Soutenance
Date de soutenance :
10 Avril 2019
Membres de Jury :
Djamel Eddine Saidouni
Allaoua Chaoui
Djamel Maslati
Hammadi Bennaoui
Nadia Zeghib
Détails
Français
Fr
Anglais
En
Arabe
Ar
Titre :
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes