Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh. Compositional verification of self-adaptive cyber-physical systems. In Jesper Andersson, Danny Weyns, editors, Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018. pages 1-11, ACM, 2018. [doi]
Abstract is missing.