direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2014

Modular Design and Verification of Distributed Adaptive Real-Time Systems
Zitatschlüssel Bartels2015a
Autor Göthel, T. and Bartels, B.
Seiten to appear
Jahr 2015
Journal Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014)
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe