direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Modular Design and Verification of Distributed Adaptive Real-Time Systems
Zitatschlüssel Goethel2015a
Autor Thomas Göthel and Björn Bartels
Buchtitel Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014)
Seiten 3–12
Jahr 2015
Link zur Originalpublikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008