direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe