| |
| 2007 | ||
|---|---|---|
| 3 | EE | Vesa Luukkala, Ian Oliver: Model Based Testing of an Embedded Session and Transport Protocol. TestCom/FATES 2007: 212-227 |
| 2002 | ||
| 2 | EE | Teemu Tynjälä, Sari Leppänen, Vesa Luukkala: Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. FORTE 2002: 178-193 |
| 2001 | ||
| 1 | EE | Juha Sipilä, Vesa Luukkala: An SDL Implementation Framework for Third Generation Mobile Communications System. SDL Forum 2001: 288-299 |
| 1 | Sari Leppänen | [2] |
| 2 | Ian Oliver | [3] |
| 3 | Juha Sipilä | [1] |
| 4 | Teemu Tynjälä | [2] |