00897naa#a2200229#i#4500001001500000005001700015011001400032100004100046102000700087200011900094210010100213215001000314608002700324675010000351700003600451700003700487700003300524700003400557700002900591700003000620856001700650EN\\bibl\7214420241105010952.2##a2412-9186##a20231211b2023####ek#y0engy0150####ca##aRU1#aLogical Time Formalization of Simulation Models for Railway Automation and Remote Control SystemseJournal article1#aSaint-PetersburgcFSBEI HE "Emperor Alexander I St. Petersburg State Transport University"d2023##a8 с.##aJournal article2local##aЦифровое имитирование и моделирование систем. 519.876.5#1aBelishkinagTat'yana Alekseevna#1aKonstantinovagTat'yana Yur'evna#1aLykovgAndrey Aleksandrovich#1aMarkovgDmitriy Spiridonovich#1aMikadogElena Nikolaevna#1aSokolovgVadim Borisovich4#aatjournal.ru