Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Tutkimustuotos: Lehtiartikkeli › Article › Scientific

OpenUrl-saatavuus

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

}