Информатика, вычислительная техника и управление. Диссертация Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : диссертация ... кандидата технических наук : 05.13.01, Томск, 2010