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

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

VTT Technical Research Centre of Finland

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

Original language	English
Title of host publication	Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008
Place of Publication	Loen
Pages	C4.2
Publication status	Published - 2008
MoE publication type	B3 Non-refereed conference publication

Cite this

Valkonen, J., Koskimies, M., Pettersson, V., Heljanko, K., Holmberg, J.-E., Niemelä, I., & Hämäläinen, J. J. (2008). 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, Institutt for Energiteknikk, Halden, Norway, 2008 (pp. C4.2).

@inproceedings{eee9bb021a8944529cfb74afccb8e0a0,

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

author = "Janne Valkonen and Matti Koskimies and Ville Pettersson and Keijo Heljanko and Jan-Erik Holmberg and Ilkka Niemel{\"a} and H{\"a}m{\"a}l{\"a}inen, {Jari J.}",

year = "2008",

language = "English",

pages = "C4.2",

booktitle = "Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008",

}

Valkonen, J, Koskimies, M, Pettersson, V, Heljanko, K, Holmberg, J-E, Niemelä, I & Hämäläinen, JJ 2008, 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, Institutt for Energiteknikk, Halden, Norway, 2008. Loen, pp. C4.2.

Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications. / Valkonen, Janne; Koskimies, Matti; Pettersson, Ville et al.
Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008. Loen, 2008. p. C4.2.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

TY - GEN

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

AU - Valkonen, Janne

AU - Koskimies, Matti

AU - Pettersson, Ville

AU - Heljanko, Keijo

AU - Holmberg, Jan-Erik

AU - Niemelä, Ilkka

AU - Hämäläinen, Jari J.

PY - 2008

Y1 - 2008

UR - https://www.vtt.fi/files/projects/mallintarkastus/formal_verification_of_safety_iandc_system_designs.pdf

M3 - Conference article in proceedings

SP - C4.2

BT - Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008

CY - Loen

ER -

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

Other files and links

Cite this