Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Janne Valkonen, Ilkka Niemelä

Research output: Contribution to journal › Article › Professional

Access to Document

@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",

publisher = "Finnish Nuclear Society",

number = "1",

}