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