Model checking PSL safety properties
Julkaisuvuosi
2009
Tekijät
Launiainen, Tuomas
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Erillisteos
Yleisö
Ammatillinen
OKM:n julkaisutyyppiluokitus
D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys
Julkaisukanavan tiedot
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
Kustantajan kansainvälisyys
Kotimainen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä