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  
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"