%0 Journal Article
%T Formalisation of algorythmic description of systemsof railway automation and remote control life cycle provision
%A Bulavskij, P..
%A Markov, D..
%A Sokolov, V..
%A Konstantinova, T..
%K railway automation and remote control life cycle provision systems, complex queuing systems, simulation modeling, request service algorythm, united algorythm, occurrence matrix, separation logical conditions
%J Transport automation research
%D 2015
%N 1
%P 14
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"