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

Search

Your search returned 8 results.

	1.	No cover image available On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G \| Yevtushenko, Nina V \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial 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)
	2.	No cover image available Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli by Hwang, Iksoon \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Information processing lettersMaterial 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)
	3.	No cover image available Conformance relations for finite state machines with timeouts O. Kondratyeva, N. Yevtushenko, A. Cavalli by Kondratyeva, O \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. 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)
	4.	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)
	5.	No cover image available Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F \| Simao, Adenilso da Silva \| Yevtushenko, Nina V \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material 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)
	6.	No cover image available A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao by El-Fakih, Khaled \| Yevtushenko, Nina V \| Simao, Adenilso da Silva \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Science of Computer ProgrammingMaterial 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 A TEFSM-based framework for QoE evaluation of OTT services D. Rivera, N. Kushik, C. Fuenzalida [et.al.] by Rivera, D \| Fuenzalida, C \| Cavalli, Ana Rosa \| Yevtushenko, Nina V \| 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)
	8.	No cover image available FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-Fakih, R. Dorofeeva, N. V. Yevtushenko, G. V. Bochmann by Dorofeeva, R \| Yevtushenko, Nina V \| Bochmann, G. V \| El-Fakih, Khaled \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Programming and computer softwareMaterial 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)