00734naa#a2200217#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200013400102210010100236215001100337608002700348675002600375700002300401700002200424700002200446700003100468856001700499EN\\bibl\8179920240919042754.4##a2412-9186##a20151225b2015####ek#y0engy0150####ca0#aRUS##aRU1#aFormalisation of algorythmic description of systemsof railway automation and remote control life cycle provisioneJournal article1#aSaint-PetersburgcFSBEI HE "Emperor Alexander I St. Petersburg State Transport University"d2015##a14 с.##aJournal article2local##a. 004.021+656.25zRUS#1aBulavskijgPetr E #1aMarkovgDmitry S #1aSokolovgVadim B #1aKonstantinovagTatjana Yu 4#aatjournal.ru