Abstractions for Collective Adaptive Systems

Omar Inverso, Catia Trubiani, Emilio Tuosto. Abstractions for Collective Adaptive Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 243-260, Springer, 2020. [doi]

Authors

Omar Inverso

This author has not been identified. Look up 'Omar Inverso' in Google

Catia Trubiani

This author has not been identified. Look up 'Catia Trubiani' in Google

Emilio Tuosto

This author has not been identified. Look up 'Emilio Tuosto' in Google