01275naa#a2200229#i#450# RU\\bibl\72144 20250202024347.7 2412-9186 20231211b2023####ek#y0rusy0150####ca RU Логико-временная формализация имитационных моделей систем железнодорожной автоматики и телемеханики Журнальная статья Санкт-Петербург ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I" 2023 8 с. Журнальная статья local Цифровое имитирование и моделирование систем. 519.876.5 Белишкина Татьяна Алексеевна Константинова Татьяна Юрьевна Лыков Андрей Александрович Марков Дмитрий Спиридонович Микадо Елена Николаевна Соколов Вадим Борисович atjournal.ru