Event-Driven Verification in Dynamic Component Models
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen
Beitragende
Details
Originalsprache | Englisch |
---|---|
Seiten | 79-86 |
Seitenumfang | 8 |
Publikationsstatus | Veröffentlicht - 2010 |
Peer-Review-Status | Nein |
Konferenz
Titel | International Workshop on Component-Oriented Programming |
---|---|
Kurztitel | WCOP2010 |
Veranstaltungsnummer | 15 |
Dauer | 10 Juni 2010 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | Prag |
Stadt | |
Land | Tschechische Republik |