Научная библиотека ТГУ catalog › Results of search for '81023'

Search

Your search returned 9 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 ; 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 On reducing test length for FSMs with extra states A. Simao, A. Petrenko, N. Yevtushenko by Simao, Adenilso da Silva \| Petrenko, Alexandre F \| Yevtushenko, Nina V \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Software Testing Verification and ReliabilityMaterial 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 Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко 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: Программирование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 Использование свойств мутационных автоматов для минимизации проверяющих тестов К. Эль-Факи, Н. В. Евтушенко, М. Ю. Дорофеева 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)
	7.	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)
	8.	No cover image available FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov by Shabaldina, Natalia V \| Gromov, Maxim L \| Томский государственный университет Радиофизический факультет Научные подразделения РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material 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)