Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов
Автореферат
Автор: Жигулин, Максим Владимирович
Название: Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов
Справка: Жигулин, Максим Владимирович. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат дис. кандидата технических наук : 05.13.01 / Жигулин Максим Владимирович; [Место защиты: Том. гос. ун-т] Томск, 2012 19 c. : 9 12-4/1363
Объем: 19 стр.
Информация: Томск, 2012
|