Informatique
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/9
Browse
7 results
Search Results
Item Formalisation des systèmes multi-agents par les réseaux de pétri(2005) Mansouri, DjamelItem Analyse des systèmes de grande taille(2007) Taibi, MeriemItem 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 Modélisation formelle des politiques de sécurité à rôles RBAC(2008) Bouzegza, Wassila; Boukala, MItem Vérification distribuée des systèmes temps réel(2008) Ouazar, Fatiha; Boukala, M.C.