| 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é |
|