Théses de Doctorat
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/1850
Browse
4 results
Search Results
Item Analyse de performances des systèmes complexes par décomposition/c(2009) Salmi, NabilaItem Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants(2007) Bouabana, Thouraya épse. TebibelItem Edition et modélisation d'un système de présentation multimédia(2010) Smail, Samia épse. BouyakoubItem Vérification distribuée des systèmes temps réel(2008) Ouazar, Fatiha; Boukala, M.C.