Статья Метод построения графа функциональной программы для решения задач верификации и тестирования Лаздин А. В., Немолочнов О. Ф.
Статья ПОДХОД К СПЕЦИФИКАЦИИ СТРУКТУРНОЙ МОДИФИКАЦИИ КОДА БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Власов С. А., Бураков В. В.
Статья МЕТОДИКА ОПТИМИЗАЦИИ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ РАСПРЕДЕЛЕННЫХ СИСТЕМ Лисов О. И., Чжо З. Е., Наинг П. Т.
Статья МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ИНСТРУМЕНТАЛЬНОЙ ПОДГОТОВКИ СЕРВИСНОГО ОБСЛУЖИВАНИЯ НА ОСНОВЕ ЭКСПЕРТНЫХ ОЦЕНОК Головкин Ю. Б., Ярцев Р. А., Газетдинова С. Г.