Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем

Авторы	автор Матросова А. Ю. (Сотрудник), автор Провкин В. А. (Аспирант), автор Тычинский В. З. (Аспирант), автор Николаева Е. А. (Сотрудник), автор Гошин Г. Г. (Сотрудник другой организации)
Тип	Статья в журнале
Год	2020
Язык	русский
Отдел	Обособленное структурное подразделение "Сибирский физико-технический институт", Институт прикладной математики и компьютерных наук, лаб.математического моделирования отделения компьютерных наук (ОСП "СФТИ ТГУ"), Институт прикладной математики и компьютерных наук
Библиографическая запись	Матросова А.Ю., Провкин В.А., Тычинский В.З., Николаева Е.А., Гошин Г.Г. Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем //Известия вузов. Физика. 2020. Т. 63, № 12. С. 114-123.
Направление науки
УДК	004.312

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

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

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