TY  JOUR
TI  Formalisation of algorythmic description of systemsof railway automation and remote control life cycle provision
KW  railway automation and remote control life cycle provision systems
KW  complex queuing systems
KW  simulation modeling
KW  request service algorythm
KW  united algorythm
KW  occurrence matrix
KW  separation logical conditions
JO  Transport automation research
AU  Bulavskij, P..
AU  Markov, D..
AU  Sokolov, V..
AU  Konstantinova, T..
PY  2015
IS  1
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"