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.
Event-Driven Verification in Dynamic Component Models
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proceedings of the Fifteenth International Workshop on Component-Oriented
Programming (WCOP2010), June 22, Prague, Czechia, 2010
Verlag
KIT Karlsruhe, Germany
Jahrgang/Erscheinungsjahr
2010
Seiten
79-86
Referiert
Nein
Berichtsjahr
2010
Export