Научная библиотека ТГУ catalog › Results of search for 'su:"робастно тестируемые неисправности задержек путей"'

Search

Your search returned 6 results.

	1.	No cover image available Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей В. З. Тычинский, В. В. Андреева by Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.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 Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути А. Ю. Матросова, С. В. Чернышов by Матросова, Анжела Юрьевна \| Чернышов, Семен Владимирович. Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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)
	3.	No cover image available Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы В. З. Тычинский, В. В. Андреева by Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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)
	4.	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)
	5.	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)
	6.	No cover image available Булева разность и обнаружение неисправностей задержек пути А. Ю. Матросова, В. З. Тычинский, В. В. Андреева by Матросова, Анжела Юрьевна \| Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Boolean difference and path delay faults detection.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)