ОБЪЯВЛЕНИЕ О ЗАЩИТЕ ДИССЕРТАЦИИ
Соискатель:
Тренькаев Вадим Николаевич
Шифр совета:
Д 063.53.03
Вид диссертации:
кандидатская
Тема диссертации
:
Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов
Специальность:
05.13.01 - Управление в технических системах по техническим наукам
Дата защиты:
06/15/2000 г.
Место защиты:
Официальный оппонент:
д-р техн. наук Агибалов Геннадий Петрович
, ТГУ, Томск
Официальный оппонент:
канд. техн. наук Гранаков Е И
, ТПУ, Томск
Диссертация
Материалов нет
Решение о принятии к защите
Материалов нет
Автореферат
Материалов нет
Сведения об официальных оппонентах,
согласия на назначение
Материалов нет
Отзывы официальных оппонентов
Материалов нет
Сведения о ведущей организации,
согласие на назначение
Материалов нет
Отзыв ведущей организации
Материалов нет
Отзывы на автореферат
Материалов нет
Сведения о результатах защиты диссертации
Материалов нет