Mémoires de Fin d’Etudes
Etablissement
Université Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d’Oran
Affiliation
Département d’Informatique
Auteur
AMRANE, Bakhta épouse Moumdi
Directeur de thèse
SEKHRI Larbi (Docteur)
Filière
Informatique
Diplôme
Doctorat
Titre
Etude de la surveillabilité des SED coutenant des cycles
Résumé
Il s’agit d’étudier ca surveillabilité des systèmes à évenements directs contenant des cycls par une approche formelle
Statut
Vérifié