Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications
Publiceringsår
2008
Upphovspersoner
Valkonen, Janne; Koskimies, Matti; Pettersson, Ville; Heljanko, Keijo; Holmberg, Jan-Erik; Niemelä, Ilkka; Hämäläinen, Jari
Organisationer och upphovspersoner
Teknologiska forskningscentralen VTT Ab
Holmberg Jan-Erik
Valkonen Janne
Hämäläinen Jari 
Pettersson Ville
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation Sessions
Konferens
Enlarged Halden Programme Group Meeting, EHPG 2008
Förläggare
Institutt for Energiteknikk
Artikelnummer
C4.2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Maskin- och produktionsteknik
Nyckelord
[object Object],[object Object],[object Object]
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Nej