TY  JOUR
TI  Логико-временная формализация имитационных моделей систем железнодорожной автоматики и телемеханики
KW  системы железнодорожной автоматики и телемеханики
KW  системы массового обслуживания с жесткой структурой
KW  имитационная модель
KW  булевы функции
KW  формализация моделей
KW  логические схемы алгоритмов
JO  Автоматика на транспорте
AU  Белишкина, Т.А.
AU  Константинова, Т.Ю.
AU  Лыков, А.А.
AU  Марков, Д.С.
AU  Микадо, Е.Н.
AU  Соколов, В.Б.
PY  2023
IS  9
PB  ФГБОУ ВО &quot;Петербургский государственный университет путей сообщения Императора Александра I&quot;