direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Modular Design and Verification of Distributed Adaptive Real-Time Systems
Citation key Goethel2015a
Author Thomas Göthel and Björn Bartels
Title of Book Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014)
Pages 3–12
Year 2015
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe