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