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