Last update: Thu Feb 1 02:01:02 MST 2018
@Article{Halminen:2007:QSC,
author = "Juha Halminen and Risto Nevalainen",
title = "Qualification of safety-critical systems in {TVO}
nuclear power plants",
journal = j-SPIP,
volume = "12",
number = "6",
pages = "559--567",
month = nov,
year = "2007",
CODEN = "SPIPFL",
DOI = "https://doi.org/10.1002/spip.349",
ISSN = "1077-4866 (print), 1099-1670 (electronic)",
ISSN-L = "1077-4866",
bibdate = "Tue Jan 30 17:28:12 MST 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/spip.bib",
acknowledgement = ack-nhfb,
fjournal = "Software Process: Improvement and Practice",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1099-1670",
}