Normal view
MARC view
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата А. В. Коломеец, С. А. Прокопенко
Material type: ArticleSubject(s): синтез тестов | труды ученых ТГУ | конечные автоматыGenre/Form: статьи в сборниках Online resources: Click here to access online In: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г. С. 62-66No physical items for this record
Библиогр.: 5 назв.
There are no comments on this title.