%0 Journal Article
%T Formalization of transition from IDEF0-diagram to the GPSS-model of life cycle stages of railway automation and remote control systems
%A Belishkina, T.A.
%A Konstantinova, T.Y.
%A Lykov, A.A.
%A Markov, D.S.
%A Mikado, E.N.
%A Sokolov, V.B.
%K IDEF0-diagram, life cycle, railway automation and remote control systems, mathematical queuing schemes, GPSS simulation model, indirect addressing, simulation model, queuing systems
%J Transport automation research
%D 2024
%N 10
%P 10
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"