Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Research output: Contribution to journal › Article › Scientific

Original language	Finnish
Pages (from-to)	6-8
Journal	ATS Ydintekniikka
Volume	39
Issue number	1
Publication status	Published - 2010
MoE publication type	B1 Non-refereed journal articles

Cite this

@article{ce050e3a38dc484b8f4b94d7532b45c0,

title = "Turvallisuuskriittisten j{\"a}rjestelmien verifiointi mallintarkastuksella",

author = "Janne Valkonen and Ilkka Niemel{\"a}",

note = "VK: modsafe",

year = "2010",

language = "Suomi",

volume = "39",

pages = "6--8",

journal = "ATS Ydintekniikka",

issn = "0356-0473",

publisher = "Suomen atomiteknillinen seura",

number = "1",

}