Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом

Останин, Сергей Александрович; Бухаров, Александр Вениаминович; Кириенко, Ирина Евгеньевна; Матросова, Анжела Юрьевна

Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом

Останин, Сергей Александрович, Бухаров, Александр Вениаминович, Кириенко, Ирина Евгеньевна, Матросова, Анжела Юрьевна

Дата публикации: 2014

Дата публикации в реестре: 2020-03-03T19:31:07Z

Ключевые слова:
проверяющие тесты, логические схемы, ROBDD-графы, константные неисправности

Тип: статьи в сборниках

Источник: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 53-54