Model-Based Analysis of a Stepwise Shutdown Logic: MODSAFE 2008 Work Report

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

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Number of pages36
    ISBN (Electronic)978-951-38-7176-5
    Publication statusPublished - 2009
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameVTT Working Papers
    PublisherVTT Technical Research Centre of Finland
    ISSN (Electronic)1459-7683


    • automation system
    • failure
    • I&C
    • model checking
    • NuSMV
    • safety case
    • safety evaluation
    • UPPAAL

    Cite this