Informations
Directeur de thèse :
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 :
Détails
Titre :
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel