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

Search

Your search returned 3 results.

	1.	No cover image available Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Громов, Максим Леонидович \| Евтушенко, Нина Владимировна \| Эль-Факи, Калед. Source: Моделирование и анализ информационных системMaterial type: Article; Format: electronic available online Other title: Testing timed nondeterministic finite state machines with the guaranteed fault coverage.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 К синтезу различающих экспериментов для автоматов с несколькими временными переменными Н. В. Евтушенко, И. М. Дмитриев, К. Эль-Факи by Евтушенко, Нина Владимировна \| Дмитриев, Иван Михайлович \| Эль-Факи, Калед. Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Использование свойств мутационных автоматов для минимизации проверяющих тестов К. Эль-Факи, Н. В. Евтушенко, М. Ю. Дорофеева by Эль-Факи, Калед \| Евтушенко, Нина Владимировна \| Дорофеева, Маргарита Юрьевна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. 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)