Mémoires de Fin d’Etudes
Etablissement
Université de Sétif 1 - Ferhat Abbas
Affiliation
Département d’Informatique
Auteur
BOUAMARI, Abdelkader
Directeur de thèse
MOSTEFAI MOHAMMED (Docteur)
Filière
Informatique
Diplôme
Doctorat
Titre
Vérification des propriétés temporelles dans les systèmes hiérachiques
Statut
Vérifié
Tags & Categories
département
etablissement
université
affiliation
auteur
sétif
informatique
ferhat
abbas
bouamari
universitÉ
Établissement
abdelkader
établissement
établissement
univérsité
departement
universite
établissement
abdelkader
affiliation
bouamari
d’informatique
département
directeur
etablissement
université