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]

Authors

Verena Klös

This author has not been identified. Look up 'Verena Klös' in Google

Thomas Göthel

This author has not been identified. Look up 'Thomas Göthel' in Google

Sabine Glesner

This author has not been identified. Look up 'Sabine Glesner' in Google