TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Publications

Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems
Citation key Goethel2017
Author Thomas Göthel and Nils Jähnig and Simon Seif
Title of Book Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM)
Pages 157–173
Year 2017
Publisher Springer
Download Bibtex entry

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe