SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs

Авторы	автор Матросова А. Ю. (Сотрудник), автор Андреева В. В. (Сотрудник), автор Тычинский В. З. (Аспирант)
Тип	Статья в сборнике материалов конференций, симпозиумов и др.
Год	2021
Язык	английский
Отдел	Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись	Matrosova A.Yu., Andreeva V.V., Tychinskiy V.Z. SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 252-255.
Направление науки
УДК

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

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

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