Работа №486

Название работы

Выполнение экспериментального сравнения методов синтеза проверяющих тестов для детерминированных автоматов

Автор работы

Дата начала работы	Дата окончания работы
2005-09-04	2005-11-04

Аннотация

Изучение современного состояния научных исследований в области формальных методов и технологий программирования и сбор необходимой информации;Получение консультаций по вопросам научных исследований "Тестирование дискретных управляющих систем на основе моделей с конечным числом состояний";Проведение экспериментальных исследований "Сравнение методов синтеза проверяющих тестов для детерминированных автоматов".

Тип НИР	Источник финансирования	Объем финансирования	Вид работы
Получить полный доступ	Получить полный доступ	Получить полный доступ	Получить полный доступ

Заказчик

Получить полный доступ

ГРНТИ	УДК	Инвентарный номер	Госшифр	Госконтракт	Договор
Получить полный доступ	Получить полный доступ	Получить полный доступ	Получить полный доступ	Получить полный доступ	Получить полный доступ

Ключевые слова

Предполагаемый результат работы

Получить полный доступ

Организации соисполнители

Получить полный доступ

Государственный учет результатов НИОКР в БД РНТД Минобрнауки РФ

Получить полный доступ

Основание к регистрации темы (электронный вариант)

Только для служебного пользования