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