A Model-Based Synthesis Process for Choreography Realizability Enforcement

Type de document :
Chapitre d'ouvrage
Cortellessa, Vittorio and Varro', Daniel. Fundamental Approaches to Software Engineering, 7793, Springer Berlin Heidelberg, pp.37-52, 2013, 978-3-642-37056-4. 〈10.1007/978-3-642-37057-1_4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00866622
Contributeur : Marco Autili <>
Soumis le : jeudi 26 septembre 2013 - 17:59:34
Dernière modification le : vendredi 4 octobre 2013 - 11:16:53

Identifiants

Collections

Citation

Marco Autili, Davide Di Ruscio, Amleto Salle, Paola Inverardi, Massimo Tivoli. A Model-Based Synthesis Process for Choreography Realizability Enforcement. Cortellessa, Vittorio and Varro', Daniel. Fundamental Approaches to Software Engineering, 7793, Springer Berlin Heidelberg, pp.37-52, 2013, 978-3-642-37056-4. 〈10.1007/978-3-642-37057-1_4〉. 〈hal-00866622〉

Partager

Métriques

Consultations de la notice

75