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