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 Aissam BELGHIAT
Auteur
Dr Aissam BELGHIAT
Informations
Directeur de thèse :
Pr Allaoua CHAOUI
Université :
Université Constantine 2
Soutenance
Date de soutenance :
7 Février 2017
Membres de Jury :
Saidouni Djamel Eddine
Bennoui Hamadi
Kahloul Laïd
Benmerzoug Djamel
Détails
Français
Fr
Anglais
En
Arabe
Ar
Titre :
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul