Model checking reveals hidden errors in safety-critical I&C software
Julkaisuvuosi
2012
Tekijät
Pakonen, Antti; Mätäsniemi, Teemu; Valkonen, Janne
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Konferenssi
8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, NPIC & HMIT 2012
Kustantaja
American Nuclear Society (ANS)
Sivut
1823-1834
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object]
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä