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