TY - BOOK AU - Прокопенко,Светлана Анатольевна ED - Томский государственный университет. TI - Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 PY - 2000/// CY - Томск KW - Управление в технических системах KW - БВАК1995N4 KW - авторефераты диссертаций N1 - Библиогр.: с. 21-22 ER -