Formale Eigenschaften des SILKE-Ansatzes zur Kontrolle selbstoptimierender Systeme

Nils Rosemann, Bastian Neumann, Werner Brockmann. Formale Eigenschaften des SILKE-Ansatzes zur Kontrolle selbstoptimierender Systeme. In Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler, editors, INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München. Volume 134 of LNI, pages 755-762, GI, 2008.

Abstract

Abstract is missing.