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 CTL Model-Checking and counterexample search
BOUKALA Mohand Cherif, Petrucci Laure, Janvier 2012
26. Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets
TAIBI Meriem, IOUALALEN Malika, SALMI Nabila, Janvier 2012