Alkuperäiskieli | Ei tiedossa |
---|---|
Kustantaja | Turku Centre for Computer Science (TUCS) |
ISBN (painettu) | 978-952-12-2925-1 |
Tila | Julkaistu - 2013 |
OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata
Mehdi Nobakht, Dragos Truscan
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen