Методы построения тестов для класса константных неисправностей комбинационных схем с использованием SAT-решателя и их применение для обеспечения безопасности: дипломная работа (проект) специалиста по направлению подготовки: 10.05.01 - Компьютерная безопасность
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Методы построения тестов для класса константных неисправностей комбинационных схем с использованием SAT-решателя и их применение для обеспечения безопасности: дипломная работа (проект) специалиста по направлению подготовки: 10.05.01 - Компьютерная безопасность