LDR 00734naa#a2200217#i#450# 001 EN\\bibl\81799 005 20241108171202.5 011 ## _a2412-9186 100 ## _a20151225b2015####ek#y0engy0150####ca 101 0# _aRUS 102 ## _aRU 200 1# _aFormalisation of algorythmic description of systemsof railway automation and remote control life cycle provision _eJournal article 210 1# _aSaint-Petersburg _cFSBEI HE "Emperor Alexander I St. Petersburg State Transport University" _d2015 215 ## _a14 с. 608 ## _aJournal article _2local 675 ## _a. 004.021+656.25 _zRUS 700 #1 _aBulavskij _gPetr E 700 #1 _aMarkov _gDmitry S 700 #1 _aSokolov _gVadim B 700 #1 _aKonstantinova _gTatjana Yu 856 4# _aatjournal.ru _u