00897naa#a2200229#i#450# EN\\bibl\72144 20241121201720.4 2412-9186 20231211b2023####ek#y0engy0150####ca RU Logical Time Formalization of Simulation Models for Railway Automation and Remote Control Systems Journal article Saint-Petersburg FSBEI HE "Emperor Alexander I St. Petersburg State Transport University" 2023 8 с. Journal article local Цифровое имитирование и моделирование систем. 519.876.5 Belishkina Tat'yana Alekseevna Konstantinova Tat'yana Yur'evna Lykov Andrey Aleksandrovich Markov Dmitriy Spiridonovich Mikado Elena Nikolaevna Sokolov Vadim Borisovich atjournal.ru