LEADER 01583nam  2200409   450 
001 9910140002603321
005 20230807203908.0
010   $a1-4799-8111-7
035   $a(CKB)2560000000337743
035   $a(WaSeSS)IndRDA00120066
035   $a(EXLCZ)992560000000337743
100   $a20200311d2015      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2015 IEEE 16th International Symposium on High Assurance Systems Engineering $e8-10 January 2015, Daytona Beach Shores, FL, USA /$fsponsored by International Symposium on High-Assurance Systems Engineering, Institute of Electrical and Electronics Engineers
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2015.
215   $a1 online resource (133 pages)
311   $a1-4799-8112-5 
311   $a1-4799-8110-9 
606   $aSystems engineering$vCongresses
606   $aSoftware engineering$vCongresses
606   $aComputer input-output equipment$vCongresses
615  0$aSystems engineering
615  0$aSoftware engineering
615  0$aComputer input-output equipment
676   $a620.7
712 02$aInternational Symposium on High-Assurance Systems Engineering,
712 02$aInstitute of Electrical and Electronics Engineers,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910140002603321
996   $a2015 IEEE 16th International Symposium on High Assurance Systems Engineering$92496379
997   $aUNINA