Compositional verification of self-adaptive cyber-physical systems.

Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh

Browse the full ICSE paper archive.