Publikationen
Im Folgenden finden Sie Informationen zu Publikationen des Instituts, die über das Forschungsinformationssystem der TU Dresden bereitgestellt werden. Für umfassende Informationen zu Veröffentlichungen der Arbeitsgruppen des Instituts besuchen Sie bitte die Seiten der jeweiligen Professuren.
Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
In Springer Real-Time Systems Journal, Volume 35, Number 1, Springer, January, 2007
Jahrgang/Erscheinungsjahr
2007
Vermerk
keiner
Referiert
Nein
Berichtsjahr
2007
Export