Научная библиотека ТГУ catalog › Results of search for 'su:"синтез тестов проверяющих"'

Search

Your search returned 6 results.

	1.	No cover image available Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Громов Максим Леонидович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Громов, Максим Леонидович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2009Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01 Евтушенко Нина Владимировна ; Том. гос. ун-т им. В. В. Куйбышева by Евтушенко, Нина Владимировна \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1990Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т by Жигулин, Максим Владимирович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; сост. : В. Н. Тренькаев, С. А. Прокопенко by Тренькаев, Вадим Николаевич [com] \| Прокопенко, Светлана Анатольевна [com] \| Томский государственный университет Радиофизический факультет. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Коломеец, Антон Владимирович \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Ермаков, Антон Дмитриевич \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)