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 IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE |
| Date Published | 06/2018 |
| Conference Location | Sweden |
