Verification of Safety Logic Designs by Model Checking

Kim Björkman, Juho Frits, Janne Valkonen, Jussi Lahtinen, Keijo Heljanko, Ilkka Niemelä, Jari J. Hämäläinen

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    10 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Otsikko6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009
    JulkaisupaikkaKnoxville
    Sivut324-335
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • automation
    • digital I&C
    • model checking
    • safety logic
    • verification

    Siteeraa tätä