Останин С. А. , Бухаров А. В. , Матросова А. Ю. , Кириенко И. Е. «Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом» // Вестник ТГУ. УВТиИ. 2014. №2(27) C.82-89
Николаева Е. А. , Кудин Д. В. , Матросова А. Ю. «Обнаружение ложных путей в комбинационной схеме» // Вестник ТГУ. УВТиИ. 2011. №2(15) C.99-107
Вы можете добавить статью