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

Search

Your search returned 3 results.

	1.	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)
	2.	No cover image available Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko by Tvardovskii, Aleksandr \| El-Fakih, Khaled \| Yevtushenko, Nina V. Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : 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)
	3.	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)