Publications par année

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

Symbolic Probabilistic Analysis and Verification of Interorganizational Workflow
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif, Mars 2016
Automatic Compositional Verification of Probabilistic Safety Properties for Interorganisational Workflow Processes
BOUCHEKIR Redouane, Boukhedouma Saida, BOUKALA Mohand Cherif, Juillet 2016