%0 Journal Article
%T Логико-временная формализация имитационных моделей систем железнодорожной автоматики и телемеханики
%A Белишкина, Т.А.
%A Константинова, Т.Ю.
%A Лыков, А.А.
%A Марков, Д.С.
%A Микадо, Е.Н.
%A Соколов, В.Б.
%K системы железнодорожной автоматики и телемеханики, системы массового обслуживания с жесткой структурой, имитационная модель, булевы функции, формализация моделей, логические схемы алгоритмов
%J Автоматика на транспорте
%D 2023
%N 9
%P 8
%I ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"