Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул

Авторы автор Матросова А. Ю. (Сотрудник), автор Тычинский В. З. (Аспирант), автор Андреева В. В. (Сотрудник)
Тип Статья в сборнике материалов конференций, симпозиумов и др.
Год 2022
Язык русский
Отдел Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись Матросова А.Ю., Тычинский В.З., Андреева В.В. Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 73‒74.
Направление науки
УДК