Коломеец А. В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : диссертация на соискание ученой степени кандидата технических наук : 05.13.01 / Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т. - Томск : [б. и.], 2010. - 129,[1]: ил.