Items where Author is "Chauvel, F."

Grace, P. and Georgantas, N. and Bennaceur, A. and Blair, Gordon and Chauvel, F. and Issarny, V. and Paolucci, M. and Saadi, R. and Souville, B. and Sykes, D. (2011) The CONNECT Architecture. In: Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science . Springer Verlag, Berlin, pp. 27-52. ISBN 978-3-642-21454-7