Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems ArtifactDataset: Code Persons and affiliationsMax Korn - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
