Publications par année

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

Approche de décomposition multicouche de réseaux de Petri stochastiques et spécifications algébriques
SALMI Nabila, Octobre 2004