direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems
Zitatschlüssel Goethel2017
Autor Thomas Göthel and Nils Jähnig and Simon Seif
Buchtitel Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM)
Seiten 157–173
Jahr 2017
Verlag Springer
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe