TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


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


Quick Access

Schnellnavigation zur Seite über Nummerneingabe