Event-Driven Verification in Dynamic Component Models
Research output: Contribution to conferences › Paper › Contributed
Contributors
Details
| Original language | English |
|---|---|
| Pages | 79-86 |
| Number of pages | 8 |
| Publication status | Published - 2010 |
| Peer-reviewed | No |
Conference
| Title | International Workshop on Component-Oriented Programming |
|---|---|
| Abbreviated title | WCOP2010 |
| Conference number | 15 |
| Duration | 10 June 2010 |
| Degree of recognition | International event |
| Location | Prag |
| City | |
| Country | Czech Republic |