Information
Thesis supervisor :
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 :
Details
Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel