Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов
Коломеец, Антон Владимирович. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : диссертация ... кандидата технических наук : 05.13.01 / Коломеец Антон Владимирович; [Место защиты: Том. гос. ун-т].- Томск, 2010.- 130 с.: ил. РГБ ОД, 61 11-5/22