Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications

Janne Valkonen, Matti Koskimies, Ville Pettersson, Keijo Heljanko, Jan-Erik Holmberg, Ilkka Niemelä, Jari J. Hämäläinen

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientific

    AlkuperäiskieliEnglanti
    OtsikkoEnlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008
    JulkaisupaikkaLoen
    SivutC4.2
    TilaJulkaistu - 2008
    OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

    Siteeraa tätä