Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул	402 KB	Adobe Acrobat PDF	Read	Download

Title: Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem
Creator: Матросова, Анжела Юрьевна
|
Тычинский, Вячеслав Зиновьевич
|
Андреева, Валентина Валерьевна
Date: 2022

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Language: rus

Created: 18-01-2023

338 Visitors

242 Hits

103 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул