Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville. Towards an Architecture for Runtime Interoperability. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 206-220, Springer, 2010. [doi]
@inproceedings{BennaceurBCHGGHIIP10,
title = {Towards an Architecture for Runtime Interoperability},
author = {Amel Bennaceur and Gordon S. Blair and Franck Chauvel and Gang Huang and Nikolaos Georgantas and Paul Grace and Falk Howar and Paola Inverardi and Valérie Issarny and Massimo Paolucci and Animesh Pathak and Romina Spalazzese and Bernhard Steffen and Bertrand Souville},
year = {2010},
doi = {10.1007/978-3-642-16561-0_23},
url = {http://dx.doi.org/10.1007/978-3-642-16561-0_23},
tags = {architecture},
researchr = {https://researchr.org/publication/BennaceurBCHGGHIIP10},
cites = {0},
citedby = {0},
pages = {206-220},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {6416},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16560-3},
}