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
Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen, Juin 2014
Modular Modeling of SMIL Documents with Complex Termination Events.
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, Janvier 2014
A Petri net Approach for Reusing and Adapting components with Atomic and non-atomic Synchronisation
DAHMANI Djaouida, BOUKALA Mohand Cherif, Mountassir Hassen, Juin 2014
Modular Modeling and Analyzing of Multimedia Documents with Repetitive  Objects
DAHMANI Djaouida, MAZOUZ S, IOUALALEN Malika, Mars 2013
« Modular Modeling and Analyzing of Multimedia Documents with Repetitive Objects »
DAHMANI Djaouida, Mazouz Samia, IOUALALEN Malika, Janvier 2013
“ Reachability Analysis for Recursive Petri Nets with shared places”
DAHMANI Djaouida, llié J.M, Juin 2009