Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications
Julkaisuvuosi
2008
Tekijät
Valkonen, Janne; Koskimies, Matti; Pettersson, Ville; Heljanko, Keijo; Holmberg, Jan-Erik; Niemelä, Ilkka; Hämäläinen, Jari
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation Sessions
Konferenssi
Enlarged Halden Programme Group Meeting, EHPG 2008
Kustantaja
Institutt for Energiteknikk
Artikkelinumero
C4.2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Kone- ja valmistustekniikka
Avainsanat
[object Object],[object Object],[object Object]
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Ei