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

Search

Your search returned 3 results.

	1.	No cover image available О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей В. З. Тычинский, В. В. Андреева by Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; 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: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	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)