Runtime Verification of Self-Adaptive Systems with Changing Requirements.

Marc Carwehl, Thomas Vogel, Genana Nunes Rodrigues, Lars Grunske

Browse the full SEAMS paper archive.