Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Национальный исследовательский Томский государственный университет

---

Листинг всех работ организации. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2020
		Матросова А.Ю., Провкин В.А., Останин С.А. Использование SAT решателей и ROBDD-графов для построения схем, маскирующих логические неисправности и вредоносные подсхемы
		Матросова А.Ю., Тычинский В.З., Андреева В.В. Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов