Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов
Прокопенко, Светлана Анатольевна. Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов : диссертация ... кандидата технических наук : 05.13.01.- Томск, 2000.- 117 с.: ил. РГБ ОД, 61 01-5/1031-7