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 > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 1-26
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 27-52