Home > Research > Browse

Results for adaptive distributed systems

Publications & Outputs

  1. Interoperability in complex distributed systems

    Blair, G., Paolucci, M., Grace, P. & Georgantas, N., 2011, 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. Bernardo, M. & Issarny, V. (eds.). Berlin: Springer Verlag, p. 1-26 26 p. (Lecture Notes in Computer Science; vol. 6659).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review