Publications par année

Publications de l'année 2002Par é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

Méthode conjointe de décomposition et de calcul des bornes pour l’évaluation des performances d’un réseau de Petri Stochastique non borné
SALMI Nabila, Janvier 2002