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

Search

Your search returned 2 results.

	1.	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)
	2.	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)