Théses de Magister
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/1183
Browse
6 results
Search Results
Item Utilisation des modèles formels dans la sécurité informatique(2012) Ouroua, Naouel épse. MerarItem Formalisme pour la modélisation du temps dans les systèmes mobiles(2010) Madi, TaousItem Analyse des systèmes temps réel préemptifs(2013) Hamdani, Abdia; Abdeli, A.Item Modélisation de la notion d'énergie dans les réseaux de capteurs à l'aide des réseaux de petri(2012) Berrachedi, Amel; Boukala-Ioualalen, Malika