ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель:
Жигулин Максим Владимирович
Шифр совета:
Д 212.267.12
Вид диссертации:
кандидатская
Тема диссертации
:
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов
Специальность:
05.13.01 - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) по техническим наукам
Научный руководитель:
д-р техн. наук Евтушенко Нина Владимировна
Дата защиты:
05/23/2012 г.
Место защиты:
в корпусе № 2 ТГУ.
Официальный оппонент:
д-р техн. наук Матросова Анжела Юрьевна
зав. каф., ТГУ, каф. программирования, ФПМК, Томск
Официальный оппонент:
канд. техн. наук Громаков Евгений Иванович
доцент, ТПУ, Томск
Ведущая организация:
Ин-т вычислительного моделирования СО РАН, г. Красноярск
Диссертация
Материалов нет
Решение о принятии к защите
Материалов нет
Автореферат
Открыть
Сведения об официальных оппонентах,
согласия на назначение
Материалов нет
Отзывы официальных оппонентов
Материалов нет
Сведения о ведущей организации,
согласие на назначение
Материалов нет
Отзыв ведущей организации
Материалов нет
Отзывы на автореферат
Материалов нет
Сведения о результатах защиты диссертации
Материалов нет