| 2005 | ||
|---|---|---|
| 1 | EE | Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib: Combining System Level Modeling with Assertion Based Verification. ISQED 2005: 310-315 |
| 1 | Lyes Benalycherif | [1] |
| 2 | Daniel Geist | [1] |
| 3 | Leonid Gluhovsky | [1] |
| 4 | Romain Kamdem | [1] |
| 5 | Younes Lahbib | [1] |
| 6 | Dmitry Pidan | [1] |
| 7 | Gil Shapir | [1] |
| 8 | Yaron Wolfsthal (Yaron Wolfstahl) | [1] |