01123naa#a2200217#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200026200102210021400364215001100578608004500589675002600634700005500660700005900715700005100774700006300825856001700888RU\\bibl\8179920250203212429.1##a2412-9186##a20151225b2015####ek#y0rusy0150####ca0#aRUS##aRU1#aФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИeЖурнальная статья1#aСанкт-ПетербургcФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"d2015##a14 с.##aЖурнальная статья2local##a. 004.021+656.25zRUS#1aБУЛАВСКИЙgПетр Евгеньевич #1aМАРКОВgДмитрий Спиридонович #1aСОКОЛОВgВадим Борисович #1aКОНСТАНТИНОВАgТатьяна Юрьевна 4#aatjournal.ru