Informatique
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/9
Browse
8 results
Search Results
Item Coordination dans les réseaux de capteurs avec actionneurs(2009) Lalouani, WassilaItem Sémantique formelle des modèles de parallélisme orientés objets et temps réel(2011) Hammal, YoucefItem Vérification distribuée des systèmes temps réel(2008) Ouazar, Fatiha; Boukala, M.C.Item 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.