Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:11 (45)
Скачать PDF0 Кбайт
В работе предлагаются и рассматриваются примитивы вырожденных покрытий вершин графо-аналитических моделей программ, графо-аналитические модели двух ациклических вычислительных процессов, решающих одну и ту же задачу, построение их комплексных покрытий и два способа верификации: по покрытиям и перекрестным тестированием.