Model Checking Embedded Control Software
Julkaisuvuosi
2010
Tekijät
Frits, Juho
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
[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kotimainen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä