01275naa#a2200229#i#4500001001500000005001700015011001400032100004100046102000700087200022900094210021400323215001000537608004500547675010000592700006000692700006200752700005600814700005800870700005000928700005000978856001701028RU\\bibl\7214420241203211245.2##a2412-9186##a20231211b2023####ek#y0rusy0150####ca##aRU1#aЛогико-временная формализация имитационных моделей систем железнодорожной автоматики и телемеханикиeЖурнальная статья1#aСанкт-ПетербургcФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"d2023##a8 с.##aЖурнальная статья2local##aЦифровое имитирование и моделирование систем. 519.876.5#1aБелишкинаgТатьяна Алексеевна#1aКонстантиноваgТатьяна Юрьевна#1aЛыковgАндрей Александрович#1aМарковgДмитрий Спиридонович#1aМикадоgЕлена Николаевна#1aСоколовgВадим Борисович4#aatjournal.ru