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