Informatique
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/9
Browse
11 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 Extension des réseaux de petri récursifs pour l'analyse temporelle des systèmes à structure dynamique(01-07-2009) Dahmani, Djaouida épse. Zaouche; Boukala, M.Item 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