Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 10 results.

Results
	1.	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)
	2.	No cover image available Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода В. В. Андреева, К. А. Сорудейкин by Андреева, Валентина Валерьевна \| Сорудейкин, Кирилл Александрович \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием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: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 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)
	4.	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)
	5.	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)
	6.	No cover image available К построению тестовых последовательностей по UML-описаниям Р. Ф. Галимуллин by Галимуллин, Рустам Фанисович. Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Синтез тестов для цифровых систем на высоком и низком уровнях абстракции А. В. Лапутенко, Е. М. Винарский by Лапутенко, Андрей Владимирович \| Винарский, Евгений Максимович. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Deriving tests for digital circuits at lower and higher abstraction levels.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Построение максимально совместимых подмножеств троичных векторов с помощью дерева разложений Т. П. Тарновская by Тарновская, Татьяна Павловна \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Материалы II Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 16–17 мая 2014 г.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)
	9.	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)
	10.	No cover image available Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами А. Ю. Матросова, С. В. Чернышов 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)