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
/ Réverien Niyonkuru, sous la dir.de Jeremie ndikumagenge
. - Bujumbura : Université du Burundi,Faculté des Sciences de l'ingenieur, 2025
. - XII-86 cm ; 30 cm.
Memoire présenté en vue de l'obtention du grade de master en genie informatique