dblp.uni-trier.dewww.uni-trier.de

Cyril Carrez

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EECyril Carrez, Jacqueline Floch, Richard Torbjørn Sanders: Describing Component Collaboration Using Goal Sequences. DAIS 2008: 16-29
2005
3 Cyril Carrez, Alessandro Fantechi, Elie Najm: Assembling components with behavioural contracts. Annales des Télécommunications 60(7-8): 989-1022 (2005)
2004
2EEShanshan Jiang, Cyril Carrez, Finn Arve Aagesen: Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification. RISE 2004: 34-44
2003
1EECyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126

Coauthor Index

1Finn Arve Aagesen [2]
2Alessandro Fantechi [1] [3]
3Jacqueline Floch [4]
4Shanshan Jiang [2]
5Elie Najm [1] [3]
6Richard Torbjørn Sanders [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)