| Alkuperäiskieli | Englanti |
|---|---|
| Tila | Julkaistu - 2007 |
| OKM-julkaisutyyppi | I2 Tieto- ja viestintätekniset sovellukset |
Siteeraa tätä
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
SMUML/Uboco 1.10 - a translator from UML models to NuSMV programs
- Jori Dubrovin
Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific