Model Checking of Safety-Critical Software in the Nuclear Engineering Domain

Jussi Lahtinen, Janne Valkonen, Kim Björkman, Juho Frits, Ilkka Niemelä, Keijo Heljanko

    Research output: Contribution to journalArticleScientificpeer-review

    49 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)104-113
    JournalReliability Engineering and System Safety
    Volume105
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA1 Journal article-refereed

    Cite this