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

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

Your search returned 4 results.

Results
	1.	No cover image available Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Ветрова Мария Викторовна; Науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Ветрова, Мария Викторовна \| Евтушенко, Нина Владимировна [sad] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	No cover image available Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей М. Н. Сухоплюев, М. С. Форостьянова 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: Моделирование и анализ информационных системMaterial type: Article; Format: electronic available online Other title: Testing timed nondeterministic finite state machines with the guaranteed fault coverage.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 Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко 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)