Rui P. Cardoso, Rosaldo J. F. Rossetti, Emma Hart, David Burth Kurka, Jeremy Pitt. Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Volume 11246 of Lecture Notes in Computer Science, pages 221-240, Springer, 2018. [doi]
Abstract is missing.