Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter. Formalizing the notion of adaptive system behavior. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 1029-1033, ACM, 2009. [doi]
Abstract is missing.