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
OSSIG
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
OSSIG
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
OSSIG
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
OSSIG
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 Riad MATMAT
Auteur
Dr Riad MATMAT
Informations
Directeur de thèse :
Pr Djamel Eddine SAIDOUNI
Année de début :
Fin 2020
Université :
Université Constantine 2
Soutenance
Date de soutenance :
1 Octobre 2020
Membres de Jury :
Allaoua Chaoui
Djamel Eddine Saidouni
Faiza Belala
El-Hilali Kerkouche
Toufik Messaoud Maarouk
Manuscrit
Téléchargement :
these_matmat.pdf
Détails
Français
Fr
Anglais
En
Arabe
Ar
Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel