01262oam 2200397zu 450 991014206080332120210807000302.00-7381-1967-9(CKB)1000000000035719(SSID)ssj0000996541(PQKBManifestationID)12466701(PQKBTitleCode)TC0000996541(PQKBWorkID)10987116(PQKB)10089746(NjHacI)991000000000035719(EXLCZ)99100000000003571920160829d2000 uy engur|||||||||||txtccr2000 IEEE Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control[Place of publication not identified]IEEE20001 online resource (vi, 29 pages)Bibliographic Level Mode of Issuance: Monograph0-7381-1966-0 RailroadsCongressesRailroads385IEEE StaffPQKBDOCUMENT99101420608033212000 IEEE Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control2575186UNINA