TY  JOUR
TI  Logical Time Formalization of Simulation Models for Railway Automation and Remote Control Systems
KW  railway automation and remote control systems
KW  queuing systems with a rigid structure
KW  simulation model
KW  Boolean functions
KW  model formalization
KW  logical algo¬rithm schemes
JO  Transport automation research
AU  Belishkina, T.A.
AU  Konstantinova, T.Y.
AU  Lykov, A.A.
AU  Markov, D.S.
AU  Mikado, E.N.
AU  Sokolov, V.B.
PY  2023
IS  9
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"