LEADER 01320nam  2200397   450 
001 996577842303316
005 20230814231218.0
010   $a1-5386-8540-X
035   $a(CKB)4100000007812418
035   $a(WaSeSS)IndRDA00123124
035   $a(EXLCZ)994100000007812418
100   $a20200516d2018      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aHASE 2019 $e19th IEEE International Symposium on High Assurance Systems Engineering : proceedings, Hangzhou, China, 3-5 January 2019 /$fedited by Dongjin Yu, Vu Nguyen, Congfeng Jiang ; sponsored by IEEE Computer Society
210  1$aLos Alamitos, California :$cIEEE Computer Society,$d2018.
215   $a1 online resource (256 pages)
311   $a1-5386-8541-8 
606   $aSoftware engineering$vCongresses
606   $aComputer input-output equipment$vCongresses
615  0$aSoftware engineering
615  0$aComputer input-output equipment
676   $a005.1
702   $aYu$b Dongjin
702   $aNguyen$b Vu
702   $aJiang$b Congfeng
712 02$aIEEE Computer Society,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996577842303316
996   $aHASE 2019$92495691
997   $aUNISA