| Alkuperäiskieli | Englanti |
|---|---|
| Tila | Julkaistu - 2003 |
| OKM-julkaisutyyppi | I2 Tieto- ja viestintätekniset sovellukset |
Tutkimusalat
- Bounded Model Checking
- Verification
Translation Tool for LTS BMC
Toni Jussila
Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific