000 02429nam0 2200385 ia4500
001 BY-NLB-br0001590781
005 20200401154109.0
100 ^a20200124d2019 k y0rusy50 ca
101 0 ^arus
^deng
^drus
^dbel
102 ^aBY
105 ^ay m 000yy
109 ^aac
^aaa
200 1 ^aМетоды разработки и верификации микропроцессорных систем для обеспечения безопасности движения поездов
^eавтореферат диссертации на соискание ученой степени кандидата технических наук
^eспециальность 05.22.08 Управление процессами перевозок
^fСивко Борис Витальевич
^gУчреждение образования "Белорусский государственный университет транспорта"
210 ^aГомель
^d2019
215 ^a26 с.
300 ^aРезюме параллельно на белорусском, русском и английском языках
320 ^aБиблиография: с. 19—23 (49 назв.)
606 0 ^3BY-NLB-ar18284
^aМИКРОПРОЦЕССОРНЫЕ СИСТЕМЫ
^2DVNLB
606 0 ^3BY-NLB-ar5128
^aВЕРИФИКАЦИЯ
^2DVNLB
606 0 ^3BY-NLB-ar2273859
^aБЕЗОПАСНОСТЬ ДВИЖЕНИЯ НА ЖЕЛЕЗНЫХ ДОРОГАХ
^2DVNLB
606 0 ^3BY-NLB-ar2103749
^aЖЕЛЕЗНОДОРОЖНАЯ АВТОМАТИКА И ТЕЛЕМЕХАНИКА
^2DVNLB
606 0 ^3BY-NLB-ar2188211
^aОТКАЗОУСТОЙЧИВОСТЬ
^2DVNLB
615 ^3BY-SEK-ar1826174
^aБелорусский национальный документ
686 ^a39.280.3
^2rubbk
690 ^a1
^9BY-HО0000
^2Base
^xRSEK
690 ^a11
^9BY-HО0000
^2Vid
700 1 ^3BY-SEK-ar13637503
^aСивко
^bБ. В.
^gБорис Витальевич
^cинформационные технологии
^cжелезнодорожный транспорт
712 0 2 ^3BY-NLB-ar80979
^aБелорусский государственный университет транспорта
^cГомель
^4995
^4595
801 0 ^aBY
^bBY-HM0000
^c20191116
^gRCR
801 2 ^aBY
^bBY-HО0000
^c20200401
^gRCR
035 ^a(BY-HO0000)BY-NLB-br0001590781
899 0 ^aBY-HO0000
^iC34