Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов
Жигулин, Максим Владимирович. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : диссертация ... кандидата технических наук : 05.13.01 / Жигулин Максим Владимирович; [Место защиты: Том. гос. ун-т].- Томск, 2012.- 121 с.: ил. РГБ ОД, 61 12-5/2778
