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]

@inproceedings{KlosGG16,
  title = {Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems},
  author = {Verena Klös and Thomas Göthel and Sabine Glesner},
  year = {2016},
  doi = {10.1109/FAS-W.2016.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/FAS-W.2016.34},
  researchr = {https://researchr.org/publication/KlosGG16},
  cites = {0},
  citedby = {0},
  pages = {106-111},
  booktitle = {2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
  editor = {Sameh Elnikety and Peter R. Lewis and Christian Müller-Schloer},
  publisher = {IEEE},
  isbn = {978-1-5090-3651-6},
}