Digitaalisten automaatiojärjestelmien verifiointi mallintarkastuksen avulla

Digitaalisten automaatiojärjestelmien verifiointi mallintarkastuksen avulla

Artikkeli

Lahtinen, Jussi

Julkaisussa: ATS ydintekniikka 2015 : 1, s.25-27

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

testaus

kärnkraftverk

industriautomation

elektroniska kretsar

säkerhet och trygghet

automationssystem

digitalteknik

verifiering

kärnteknik

granskning

testning

Lisätiedot

Jussi Lahtinen ... et al

Saatavuustiedot

Henkilökuntanäyttö