Toggle navigation
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
Useful information
Contact
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
More
Useful information
Contact
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
Useful information
Contact
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
Useful information
Contact
Home
Theses
Thesis of Dr Riad MATMAT
Author
Dr Riad MATMAT
Information
Thesis supervisor :
Prof Djamel Eddine SAIDOUNI
Start year :
End 2020
University :
Université Constantine 2
Viva defense
Viva defense date :
1 October 2020
Jury members :
Allaoua Chaoui
Djamel Eddine Saidouni
Faiza Belala
El-Hilali Kerkouche
Toufik Messaoud Maarouk
Manuscript
Download link :
these_matmat.pdf
Details
French
Fr
English
En
Arabic
Ar
Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel