Логин:
Пароль:

Работа №486
Название работы
Выполнение экспериментального сравнения методов синтеза проверяющих тестов для детерминированных автоматов
Автор работы
Дорофеева Маргарита Юрьевна
Дата начала работы Дата окончания работы
2005-09-04 2005-11-04
Аннотация
Изучение современного состояния научных исследований в области формальных методов и технологий программирования и сбор необходимой информации;Получение консультаций по вопросам научных исследований "Тестирование дискретных управляющих систем на основе моделей с конечным числом состояний";Проведение экспериментальных исследований "Сравнение методов синтеза проверяющих тестов для детерминированных автоматов".
Тип НИР Источник финансирования Объем финансирования Вид работы
Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ
Заказчик
Получить полный доступ
ГРНТИ УДК Инвентарный номер Госшифр Госконтракт Договор
Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ Получить полный доступ
Ключевые слова
Предполагаемый результат работы
Получить полный доступ
Организации соисполнители
Получить полный доступ
Государственный учет результатов НИОКР в БД РНТД Минобрнауки РФ
Получить полный доступ
Основание к регистрации темы (электронный вариант)
Только для служебного пользования
   
2007 © ОНТИ НУ ТГУ
E-mail: onti@sun.lib.tsu.ru
Тел: 52-76-99