TY  - RPRT
TI  - ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems
AU  - Danny Weyns
AU  - M. Usman Iftikhar
PY  - 2022
UR  - https://arxiv.org/abs/1908.11179
ID  - 1908.11179
ER  -