01123naa#a2200217#i#450# RU\\bibl\81799 20241103162047.7 2412-9186 20151225b2015####ek#y0rusy0150####ca RUS RU ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ Журнальная статья Санкт-Петербург ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I" 2015 14 с. Журнальная статья local . 004.021+656.25 RUS БУЛАВСКИЙ Петр Евгеньевич МАРКОВ Дмитрий Спиридонович СОКОЛОВ Вадим Борисович КОНСТАНТИНОВА Татьяна Юрьевна atjournal.ru