Vérification des systèmes temps-réel et théorie des graphes " Real-time systems verification and graph theory "
Soutenu le 16 avril 2018
Titre : Vérification des systèmes temps-réel et théorie des graphes " Real-time systems verification and graph theory "
Type : Doctorat
Spécialité : Informatique
Département : Informatique
Soutenu par : OUCHEIKH RACHID
Directeur de Thèse : Pr. EL OMARI Lahcen
Soutenu le : 16 avril 2018