TY - RPRT TI - Runtime Verification of Self-Adaptive Systems with Changing Requirements AU - Marc Carwehl AU - Thomas Vogel AU - GenaĆ­na Nunes Rodrigues AU - Lars Grunske PY - 2023 UR - https://arxiv.org/abs/2303.16530 ID - 2303.16530 ER -