Vérification des systèmes temps-réel et théorie des graphes " Real-time systems verification and graph theory "
Le 16 avril 2018
Une thèse de doctorat sera présentée par le doctorant OUCHEIKH RACHID
Vérification des systèmes temps-réel et théorie des graphes - Real-time systems verification and graph theory
En vue d’obtenir le Doctorat
FD : Sciences et Technologies de l’Information et de la Communication (STIC)
Spécialité : Informatique
Directeurde thèse : Pr. EL OMARI Lahcen
Co-Directeur de thèse : Pr. BERRADA Isamil
Le 16/04/2018 à 15 H
Centre de conférences à la FSDM