LDR 01123naa#a2200217#i#450# 001 RU\\bibl\81799 005 20241121153313.4 011 ## _a2412-9186 100 ## _a20151225b2015####ek#y0rusy0150####ca 101 0# _aRUS 102 ## _aRU 200 1# _aФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ _eЖурнальная статья 210 1# _aСанкт-Петербург _cФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I" _d2015 215 ## _a14 с. 608 ## _aЖурнальная статья _2local 675 ## _a. 004.021+656.25 _zRUS 700 #1 _aБУЛАВСКИЙ _gПетр Евгеньевич 700 #1 _aМАРКОВ _gДмитрий Спиридонович 700 #1 _aСОКОЛОВ _gВадим Борисович 700 #1 _aКОНСТАНТИНОВА _gТатьяна Юрьевна 856 4# _aatjournal.ru _u