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