Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications (2008)
AUTHORS:
Valkonen Janne,
Koskimies Matti,
Pettersson Ville,
Heljanko Keijo
,
Holmberg Jan-Erik,
Niemelä Ilkka
,
Hämäläinen Jari J.
BOOKTITLE:
Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions
PAGES:
C4.2
URL:
http://users.ics.tkk.fi/kepa/publications/
@inproceedings{ Valkonen.etal:EHPG2008, author = {Valkonen, Janne and Koskimies, Matti and Pettersson, Ville and Heljanko, Keijo and Holmberg, Jan-Erik and Niemel{\"a}, Ilkka and H{\"a}m{\"a}l{\"a}inen, Jari J.}, publisher = "Institutt for Energiteknikk, Halden, Norway", title = "Formal Verification of Safety {I&C} System Designs: Two Nuclear Power Plant Related Applications", url = "http://users.ics.tkk.fi/kepa/publications/", booktitle = "Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions", year = "2008", corerank = "NA", month = "May", responsibleauthor = "Heljanko, Keijo", juforank = "NA", flags = "DC", il = "yes", address = "Loen, Norway", impactfactor = "E", pages = "C4.2" }