Например, Бобцов

ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР

Аннотация:

Рассматривается применение графо-аналитических моделей для верификации вычислительных процессов в рамках САПР, приводится пример построения комплексного кубического покрытия по графо-аналитической модели ациклического вычислительного процесса, формулируется задача синтеза тестовых наборов на основе кубического покрытия.

Читать текст статьи

Ключевые слова:

Статьи в номере