direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2014 [1] • 2013 [2] • 2012 [3] • 2011 [4] • 2010 [5] • 2009 [6] • 2008 [7] • 2007 [8] • 2006 [9] • 2005 [10] • 2004 [11] •
[12]

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 [13]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008