Informatique
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/9
Browse
9 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 Vérification distribuée des systèmes complexes.(2012) Boukala, Mohamed CherifItem Sémantique formelle des modèles de parallélisme orientés objets et temps réel(2011) Hammal, YoucefItem 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