LEADER 01273oam  2200397zu 450 
001 996280742803316
005 20210807000302.0
010   $a0-7381-1967-9
035   $a(CKB)1000000000035719
035   $a(SSID)ssj0000996541
035   $a(PQKBManifestationID)12466701
035   $a(PQKBTitleCode)TC0000996541
035   $a(PQKBWorkID)10987116
035   $a(PQKB)10089746
035   $a(NjHacI)991000000000035719
035   $a(EXLCZ)991000000000035719
100   $a20160829d2000      uy              
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2000 IEEE Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control
210 31$a[Place of publication not identified]$cIEEE$d2000
215   $a1 online resource (vi, 29 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7381-1966-0 
606   $aRailroads$vCongresses
615  0$aRailroads
676   $a385
702   $aIEEE Staff
801  0$bPQKB
906   $aDOCUMENT
912   $a996280742803316
996   $a2000 IEEE Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control$92575186
997   $aUNISA