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