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

@article{4198f6a01f5a4abc9f405c6dc6f77cec,
title = "Turvallisuuskriittisten j{\"a}rjestelmien verifiointi mallintarkastuksella",
author = "Janne Valkonen and Ilkka Niemel{\"a}",
note = "Project code: 41251",
year = "2010",
language = "Finnish",
volume = "39",
pages = "6 -- 8",
journal = "ATS Ydintekniikka",
issn = "0356-0473",
number = "1",

}

Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella. / Valkonen, Janne; Niemelä, Ilkka.

In: ATS Ydintekniikka, Vol. 39, No. 1, 2010, p. 6 - 8.

Research output: Contribution to journalArticleScientific

TY - JOUR

T1 - Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

AU - Valkonen, Janne

AU - Niemelä, Ilkka

N1 - Project code: 41251

PY - 2010

Y1 - 2010

M3 - Article

VL - 39

SP - 6

EP - 8

JO - ATS Ydintekniikka

JF - ATS Ydintekniikka

SN - 0356-0473

IS - 1

ER -