Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems

Verena Klös, Thomas Göthel, Sabine Glesner. Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. In Sameh Elnikety, Peter R. Lewis, Christian Müller-Schloer, editors, 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016. pages 106-111, IEEE, 2016. [doi]

Abstract

Abstract is missing.