Marc Carwehl, Thomas Vogel 0001, Genaína Nunes Rodrigues, Lars Grunske. Runtime Verification of Self-Adaptive Systems with Changing Requirements. In 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2023, Melbourne, Australia, May 15-16, 2023. pages 104-114, IEEE, 2023. [doi]
Abstract is missing.