Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Artikkeli

Valkonen, Janne ; Niemelä, Ilkka

Julkaisussa: ATS ydintekniikka 2010 : 1, s.6-8

Tallennettuna:

Kieli

suomi

Luokitus

Ydinenergia (ykl 60.85)
Elektroniikka (ykl 62.67)

Aiheet/asiasanat

ydinvoimalat

teollisuusautomaatio

elektroniset piirit

turvallisuus

automaatiojärjestelmät

digitaalitekniikka

verifiointi

ydintekniikka

tarkastus

kärnkraftverk

industriautomation

elektroniska kretsar

säkerhet och trygghet

automationssystem

digitalteknik

verifiering

kärnteknik

granskning

Lisätiedot

Janne Valkonen, Ilkka Niemelä

Saatavuustiedot

Henkilökuntanäyttö