LEADER 01864nam 2200397 450 001 9910209345903321 005 20230421083708.0 010 $a1-5090-4636-4 035 $a(CKB)3710000001402971 035 $a(NjHacI)993710000001402971 035 $a(EXLCZ)993710000001402971 100 $a20230421d2017 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) /$fInstitute of Electrical and Electronics Engineers (IEEE) 210 1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers (IEEE),$d2017. 215 $a1 online resource $cillustrations 311 $a1-5090-4637-2 330 $aA key question of HASE 2017 is What design innovation is needed to bring about systems whose operation in accordance with functional and non functional requirements is assured with a very high probability? HASE 2017 will focus on this and related questions answers to which are of paramount importance to engineers who design and build interdependent complex systems that impact individuals, entire cities and even nations. 517 $a2017 IEEE 18th International Symposium on High Assurance Systems Engineering 606 $aComputer input-output equipment$vCongresses 606 $aReliability (Engineering)$vCongresses 606 $aSoftware engineering$vCongresses 615 0$aComputer input-output equipment 615 0$aReliability (Engineering) 615 0$aSoftware engineering 676 $a621.3984 801 0$bNjHacI 801 1$bNjHacl 906 $aPROCEEDING 912 $a9910209345903321 996 $a2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)$92545971 997 $aUNINA LEADER 01818oam 2200421 a 450 001 9910699675003321 005 20230902162155.0 035 $a(CKB)5470000002404184 035 $a(OCoLC)708359698 035 $a(EXLCZ)995470000002404184 100 $a20110324d2010 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGeneric environmental impact statement for license renewal of nuclear plants$hSupplement 40$iRegarding Kewaunee Power Station$b[electronic resource] $efinal report 210 1$aWashington, DC :$cU.S. Nuclear Regulatory Commission, Office of Nuclear Reactor Regulation,$d[2010] 215 $a1 online resource (417 unnumbered pages) $cillustrations, maps 300 $aTitle from PDF title screen (viewed on Mar. 24, 2011). 300 $a"Date published: August 2010." 300 $a"NUREG-1437, Supplement 40." 320 $aIncludes bibliographical references. 517 $aGeneric environmental impact statement for license renewal of nuclear plants 606 $aNuclear power plants$xLicenses$zWisconsin$zKewaunee County 606 $aNuclear power plants$xEnvironmental aspects$zWisconsin$zKewaunee County 606 $aNuclear power plants$xLaw and legislation$zWisconsin$zKewaunee County 615 0$aNuclear power plants$xLicenses 615 0$aNuclear power plants$xEnvironmental aspects 615 0$aNuclear power plants$xLaw and legislation 712 02$aU.S. Nuclear Regulatory Commission.$bOffice of Nuclear Reactor Regulation. 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910699675003321 996 $aGeneric environmental impact statement for license renewal of nuclear plants$93422612 997 $aUNINA