Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking MODSAFE 2010 work report
Julkaisuvuosi
2010
Tekijät
Lahtinen, Jussi; Björkman, Kim; Valkonen, Janne; Frits, Juho; Niemelä, Ilkka
Organisaatiot ja tekijät
Aalto-yliopisto
Niemelä Ilkka 
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],[object Object],[object Object],[object Object],[object Object],[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ä