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

High level Petri net modelling and analysis of flexible Web Services Composition
KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, KHELDOUN Ahmed, BARKAOUI Kamel, IOUALALEN Malika, Août 2015
A high level net for modeling and analysis reconfigurable discrete event control systems
KHELDOUN Ahmed, BARKAOUI Kamel, ZHANG J, IOUALALEN Malika, Mai 2015
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
RAHIM Messaoud, KHELDOUN Ahmed, IOUALALEN Malika, HAMMAD Ahmed, Janvier 2015
Transformation BPEL Processes To RECATNet for AnalysingWeb Services Compositions
KHELDOUN Ahmed, IOUALALEN Malika, Janvier 2014