Théses de Doctorat
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/1850
Browse
5 results
Search Results
Item 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.