TY  - RPRT
TI  - Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach
AU  - Zhuoqun Yang
AU  - Zhi Jin
AU  - Zhi Li
PY  - 2017
UR  - https://arxiv.org/abs/1704.00869
ID  - 1704.00869
ER  -