Compositional Verification of Self-Adaptive Cyber-Physical Systems
You are here
| Title | Compositional Verification of Self-Adaptive Cyber-Physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Borda A, Pasquale L, Koutavas V, Nuseibeh B |
| Conference Name | 13th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
| Date Published | 05/2018 |
| URL | http://oro.open.ac.uk/54307/ |
| DOI | 10.1145/3194133.3194146 |
