Production par auteur

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

Time High-level Recursive Petri Nets
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, BERRACHEDI Amel, Juin 2015
Evaluation of the packet loss in WSN using Deterministic Stochastic Petri Nets
BERRACHEDI Amel, IOUALALEN Malika, Janvier 2015
Modélisation de la notion d'énergie dans les réseaux de capteurs à l'aide des réseaux de Petri
BERRACHEDI Amel, IOUALALEN Malika, Janvier 2012