TY  - GEN
AU  - Коломеец,Антон Владимирович
AU  - Громов,Максим Леонидович
AU  - Прокопенко,Светлана Анатольевна
AU  - Евтушенко,Нина Владимировна
TI  - Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов
KW  - информационные технологии
KW  - синтез тестов
KW  - проверяющие тесты
KW  - диагностические тесты
KW  - тестирование программного обеспечения
KW  - программные реализации протоколов
KW  - расширенные автоматы
KW  - труды ученых ТГУ
N1  - Библиогр.: 4 назв
ER  -