| |
| 2006 | ||
|---|---|---|
| 2 | EE | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir: Creation and Validation of Embedded Assertion Statecharts. IEEE International Workshop on Rapid System Prototyping 2006: 17-23 |
| 2005 | ||
| 1 | EE | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir: Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. IEEE International Workshop on Rapid System Prototyping 2005: 105-110 |
| 1 | Doron Drusinsky | [1] [2] |
| 2 | Man-tak Shing | [1] [2] |