LDR 00897naa#a2200229#i#450# 001 EN\\bibl\72144 005 20241222113559.7 011 ## _a2412-9186 100 ## _a20231211b2023####ek#y0engy0150####ca 102 ## _aRU 200 1# _aLogical Time Formalization of Simulation Models for Railway Automation and Remote Control Systems _eJournal article 210 1# _aSaint-Petersburg _cFSBEI HE "Emperor Alexander I St. Petersburg State Transport University" _d2023 215 ## _a8 с. 608 ## _aJournal article _2local 675 ## _aЦифровое имитирование и моделирование систем. 519.876.5 _z 700 #1 _aBelishkina _gTat'yana Alekseevna 700 #1 _aKonstantinova _gTat'yana Yur'evna 700 #1 _aLykov _gAndrey Aleksandrovich 700 #1 _aMarkov _gDmitriy Spiridonovich 700 #1 _aMikado _gElena Nikolaevna 700 #1 _aSokolov _gVadim Borisovich 856 4# _aatjournal.ru _u