TY  - BOOK
AU  - Коломеец,Антон Владимирович
AU  - Евтушенко,Нина Владимировна
ED  - Томский государственный университет.
TI  - Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: диссертация на соискание ученой степени кандидата технических наук : 05.13.01
PY  - 2010///
CY  - Томск
PB  - [б. и.]
KW  - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
KW  - nsnr
KW  - диссертации
KW  - автоматы расширенные мутационные
KW  - автоматы конечные
KW  - синтез тестов проверяющих (кибернетика математическая)
KW  - модели неисправности (теория автоматов)
KW  - FSM-срез автомата расширенного
KW  - автоматы различающие
KW  - тесты проверяющие, алгоритмы
KW  - программная реализация алгоритмов, генерация
KW  - дискретные управляющие системы
KW  - программная реализация алгоритмов, ошибки
KW  - автоматы расширенные, ошибки
N1  - Библиогр.: л. 98 - 108
ER  -