Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами

Авторы	автор Матросова А. Ю. (Сотрудник), автор Чернышов С. В. (Аспирант)
Тип	Статья в сборнике материалов конференций, симпозиумов и др.
Год	2020
Язык	русский
Отдел	Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись	Матросова А.Ю., Чернышов С.В. Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами //Математическое и программное обеспечение информационных, технических и экономических систем : материалы Международной научной конференции, Томск, 28-30 мая 2020 г. Томск: Изд-во Том. ун-та, 2020. С. 169-178.
Направление науки
УДК

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

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

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