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