SysML Blocks Adaptation, ICFEM'15, 17th Int. Conf. on Formal Engineering Methods, 2015. ,
DOI : 10.1007/978-3-319-25423-4_27
URL : https://hal.archives-ouvertes.fr/tel-01428887
Synchronizing Behavioural Mismatch in Software Composition, FMOODS 2006, pp.63-77, 2006. ,
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017
Adaptation sémantique des protocoles des composants par les automates d'interface. TSI, Technique et Science Informatiques, pp.31769-796, 2012. ,
DOI : 10.3166/tsi.31.769-796
Interface automata, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.109-120, 2001. ,
Formal verification of component-based designs, Design Automation for Embedded Systems, vol.3, issue.1, pp.49-90, 2007. ,
DOI : 10.1007/s10617-006-9723-3