Научная библиотека ТГУ catalog › Results of search for 'su:"графы"'

Search

Your search returned 2 results.

	1.	No cover image available Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева by Матросова, Анжела Юрьевна \| Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы В. А. Провкин, А. Ю. Матросова by Провкин, Виктор Алексеевич \| Матросова, Анжела Юрьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Algorithm of building a ROBDD graph representing the set of all reacheable reactions of a combinational circuit.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)