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é