Publications
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