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 |