Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Janne Valkonen, Ilkka Niemelä

Research output: Contribution to journalArticleScientific

Original languageFinnish
Pages (from-to)6 - 8
JournalATS Ydintekniikka
Volume39
Issue number1
Publication statusPublished - 2010
MoE publication typeB1 Article in a scientific magazine

Cite this