Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems

Max Korn. Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems. PhD thesis, Dresden University of Technology, Germany, 2025. [doi]

Abstract

Abstract is missing.