Runtime Verification of Self-Adaptive Systems with Changing Requirements

Carwehl, Marc; Vogel, Thomas; Nunes Rodrigues, Genaína; Grunske, Lars (2024): Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering 2024 (SE 2024). DOI: 10.18420/sw2024_50. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-737-1. pp. 151-152. Self-Adaptive Systems. Linz, Österreich. 26. Februar-1. März 2024