Describir: Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01