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

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

Учебная деятельность

Научная деятельность

Конкурсная деятельность