%0 Journal Article
%T Logical Time Formalization of Simulation Models for 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 railway automation and remote control systems, queuing systems with a rigid structure, simulation model, Boolean functions, model formalization, logical algo¬rithm schemes
%J Transport automation research
%D 2023
%N 9
%P 8
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"