Rapport
(Rapport De Recherche)
Année : 2013
Marco Autili : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00866626
Soumis le : jeudi 26 septembre 2013-18:03:15
Dernière modification le : lundi 28 novembre 2022-17:44:05
Dates et versions
Identifiants
- HAL Id : hal-00866626 , version 1
Citer
Marco Autili, Davide Di Ruscio, Paola Inverardi, Amleto Salle. Using model-based techniques to enforce BPMN2 choreography realizability. [Research Report] 2013. ⟨hal-00866626⟩
42
Consultations
0
Téléchargements