Vérification Paramétrée de la Cohérence des Processus Workflow - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Vérification Paramétrée de la Cohérence des Processus Workflow

Kamel Barkaoui
Centre d'études et de recherche en informatique et communications
R. Ben Ayed
  • Fonction : Auteur
Zohra Sbai
  • Fonction : Auteur
  • PersonId : 964615
Centre d'études et de recherche en informatique et communications

Résumé

The topics of the colloquium are available here (in French).

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC]

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01125449

Soumis le : vendredi 6 mars 2015-11:09:52

Dernière modification le : vendredi 19 juillet 2024-11:38:04

Fichier non déposé

Dates et versions

hal-01125449 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125449 , version 1

Citer

Kamel Barkaoui, R. Ben Ayed, Zohra Sbai. Vérification Paramétrée de la Cohérence des Processus Workflow. MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, Jan 2007, X, France. pp.255-268. ⟨hal-01125449⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
28 Consultations
0 Téléchargements

Partager

More