Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems ArtifactForschungsdaten: Software Personen und EinrichtungenMax Korn - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
