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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    Original languageEnglish
    Title of host publicationEnlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008
    Place of PublicationLoen
    PagesC4.2
    Publication statusPublished - 2008
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this