TitleCompositional Verification of Self-Adaptive Cyber-Physical Systems
Publication TypeConference Paper
Year of Publication2018
AuthorsBorda A, Pasquale L, Koutavas V, Nuseibeh B
Conference Name13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE
Date Published06/2018
Conference LocationSweden