LEADER 01447nam 2200373Ka 450 001 9910697842903321 005 20090624163409.0 035 $a(CKB)5470000002392555 035 $a(OCoLC)408343709 035 $a(EXLCZ)995470000002392555 100 $a20090624d2008 ua 0 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aTraditional probabilistic risk assessment methods for digital systems$b[electronic resource] /$fprepared by T.L. Chu ... [and others] 210 1$a[Washington, D.C.] :$cU.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research,$d2008. 215 $a344 unnumbered pages $cdigital, PDF file 300 $aTitle from title screen (viewed on June 24, 2009). 300 $a"Date published: October 2008." 300 $a"NUREG/CR-6962." 300 $a"BNL-NUREG-80141-2008." 606 $aDigital control systems$xTesting 606 $aNuclear power plants$zUnited States$xInstruments$xTesting 615 0$aDigital control systems$xTesting. 615 0$aNuclear power plants$xInstruments$xTesting. 701 $aChu$b T. L$01410221 712 02$aU.S. Nuclear Regulatory Commission.$bOffice of Nuclear Regulatory Research. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910697842903321 996 $aTraditional probabilistic risk assessment methods for digital systems$93498492 997 $aUNINA