Production par équipe et par année

Par équipe
Spécification et Vérification des Systèmes Evaluation des Performances et Qualité de Service Systèmes avec Appels Répétés et Analyse Systèmes basés composants et Analyse


Par année



Par auteur

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  


Production scientifique

Distributed Verification of Modular Systems
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2011
Using Processor Virtualization to Load Balancing Distributed State Space Construction
RAHIM Messaoud, BOUKALA Mohand Cherif, Avril 2011
Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce
TAIBI Meriem, Janvier 2011
Parallel Object-Based Load Balancing Strategy for Distributed Space State Construction
RAHIM Messaoud, IOUALALEN Malika, Juillet 2011