Runtime Verification of Self-Adaptive Systems with Changing Requirements

Carwehl, MarcVogel, ThomasNunes Rodrigues, GenaínaGrunske, LarsRabiser, RickWimmer, ManuelGroher, IrisWortmann, AndreasWiesmayr, Bianca2024-02-192024-02-192024978-3-88579-737-1https://dl.gi.de/handle/20.500.12116/43596enRuntime verificationProperty specification patternsSelf-adaptive systemsRuntime Verification of Self-Adaptive Systems with Changing RequirementsText/Conference Paper10.18420/sw2024_501617-5468