Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко

by Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
2.
К синтезу тестов по мутационному автомату М. Л. Громов, М. Ю. Дорофеева, А. В. Коломеец

by Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction Online access: Click here to access online Availability: No items available :