TY  - BOOK
AU  - Niyonkuru,Réverien
TI  - Conception et développement d'un système automatisé de gestion et de sécurisation des matériels optiques dans les corps de défense et de  securité ,base  sur un modèle d'analyse formelle
PY  - 2025///
CY  - Bujumbura
PB  - Université du Burundi,Faculté des  Sciences de l'ingenieur
KW  - BI-BuBU
KW  - système automatise
KW  -  Gestion corps de défense et de securité
KW  - analyse formelle
N1  - Memoire présenté en vue de l'obtention du grade de master en genie informatique
ER  -