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