TY  - GEN
AU  - Дорофеева,Маргарита Юрьевна
TI  - Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов
KW  - аппаратные средства
KW  - программные средства
KW  - труды ученых ТГУ
KW  - тестирование
KW  - конечные автоматы
KW  - проверяющие тесты
N1  - Библиогр.: 9 назв
ER  -