%0 Journal Article %T ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ %A БУЛАВСКИЙ, П.. %A МАРКОВ, Д.. %A СОКОЛОВ, В.. %A КОНСТАНТИНОВА, Т.. %K системы обеспечения жизненного цикла железнодорожной автоматики и телемеханики, сложные системы массового обслуживания, имитационное моделирование, алгоритм обслуживания заявок, объединенный алгоритм, матрица вхождений, разделительные логические условия %J Автоматика на транспорте %D 2015 %N 1 %P 14 %I ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"