Digitaalisten automaatiojärjestelmien verifiointi mallintarkastuksen avulla

Digitaalisten automaatiojärjestelmien verifiointi mallintarkastuksen avulla

Article

Lahtinen, Jussi

Published in: ATS ydintekniikka 2015 : 1, s.25-27

Saved in:

Language

Finnish

Classification

Nuclear energy (ykl 60.85)
Electronics (ykl 62.67)

Subjects/keywords

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

Additional Information

Jussi Lahtinen ... et al