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

Reference:

Janne Valkonen, Matti Koskimies, Ville Pettersson, Keijo Heljanko, Jan-Erik Holmberg, Ilkka Niemelä, and Jari J. Hämäläinen. Formal verification of safety I&C system designs: Two nuclear power plant related applications. In Enlarged Halden Programme Group Meeting – Proceedings of the Man-Technology-Organisation Sessions, page C4.2, Loen, Norway, May 2008. Institutt for Energiteknikk, Halden, Norway.

Suggested BibTeX entry:

@inproceedings{Valkonen.etal:EHPG2008,
    address = {Loen, Norway},
    author = {Janne Valkonen and Matti Koskimies and Ville Pettersson and Keijo Heljanko and Jan-Erik Holmberg and Ilkka Niemel{\"a} and Jari J. H{\"a}m{\"a}l{\"a}inen},
    booktitle = {Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions},
    month = {May},
    pages = {C4.2},
    publisher = {Institutt for Energiteknikk, Halden, Norway},
    title = {Formal Verification of Safety {I\&C} System Designs: Two Nuclear Power Plant Related Applications},
    year = {2008},
}