Event-Driven Verification in Dynamic Component Models

Publikation: Beitrag zu KonferenzenPaperBeigetragen

Beitragende

Details

OriginalspracheEnglisch
Seiten79-86
Seitenumfang8
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusNein

Konferenz

TitelInternational Workshop on Component-Oriented Programming
KurztitelWCOP2010
Veranstaltungsnummer15
Dauer10 Juni 2010
BekanntheitsgradInternationale Veranstaltung
OrtPrag
Stadt
LandTschechische Republik