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

Refine your search

	1.	No cover image available Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability N. G. Kushik by Kushik, Natalia G \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. 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 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)