undefined

< Tillbaka till sökresultaten

Model checking reveals hidden errors in safety-critical I&amp;C software

Publiceringsår

2012

Upphovspersoner

Pakonen, Antti; Mätäsniemi, Teemu; Valkonen, Janne

Organisationer och upphovspersoner

Teknologiska forskningscentralen VTT Ab

Pakonen Antti Orcid -palvelun logo

Valkonen Janne

Mätäsniemi Teemu Orcid -palvelun logo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC &amp; HMIT 2012): Enabling the Future of Nuclear Energy

Konferens

8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, NPIC &amp; HMIT 2012

Förläggare

American Nuclear Society (ANS)

Sidor

1823-1834

ISBN

978-0-9448-093-0

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Ja

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

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

Ja