00734naa#a2200217#i#450# EN\\bibl\81799 20241108161345.5 2412-9186 20151225b2015####ek#y0engy0150####ca RUS RU Formalisation of algorythmic description of systemsof railway automation and remote control life cycle provision Journal article Saint-Petersburg FSBEI HE "Emperor Alexander I St. Petersburg State Transport University" 2015 14 с. Journal article local . 004.021+656.25 RUS Bulavskij Petr E Markov Dmitry S Sokolov Vadim B Konstantinova Tatjana Yu atjournal.ru