Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

Reference:

Janne Valkonen and Ilkka Niemelä. Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella. ATS Ydintekniikka, 39(1):6–8, 2010.

Suggested BibTeX entry:

@article{VN2010:ATS,
    author = {Janne Valkonen and Ilkka Niemel{\"a}},
    journal = {ATS Ydintekniikka},
    number = {1},
    pages = {6--8},
    title = {Turvallisuuskriittisten j\"arjestelmien verifiointi mallintarkastuksella},
    volume = {39},
    year = {2010},
}