Model Checking Dynamic and Hierarchical UML State Machines
Julkaisuvuosi
2006
Tekijät
Jussila, Toni; Dubrovin, Jori; Junttila, Tommi; Latvala, Timo; Porres, Ivan
Organisaatiot ja tekijät
Aalto-yliopisto
Junttila Tommi
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006
Sivut
94-110
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Avainsanat
[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä