ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ
СИНТЕЗ GPSS-МОДЕЛИ ОБСЛУЖИВАЮЩИХ УСТРОЙСТВ СЛОЖНЫХ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ НА ОСНОВЕ ПОРЦИОННОЙ ФОРМАЛИЗАЦИИ
ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ВНЕШНЕЙ СРЕДЫ В ИМИТАЦИОННЫХ МОДЕЛЯХ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ
ФОРМАЛИЗОВАННАЯ СХЕМА ПРОЦЕССА ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ РЕЛЬСОВОЙ ЛИНИИ