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

Search

Your search returned 5 results.

	1.	No cover image available Синтез логических схем, контролепригодных относительно неисправностей задержек путей А. Ю. Матросова, Е. А. Николаева, Е. В. Румянцева 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)
	2.	No cover image available Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов 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 Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов А. Ю. Матросова, С. А. Останин, В. Сингх 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)
	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)