Страница публикации

Пропозициональный подход в задачах тестирования дискретных автоматов

Авторы: Семенов А.А., Отпущенников И.В., Кочемазов С.Е.

Журнал: Современные технологии. Системный анализ. Моделирование

Том:

Номер: 4 (24)

Год: 2009

Отчётный год: 2009

Издательство:

Местоположение издательства:

URL:

Проекты:

DOI:

Аннотация: В статье представлен подход к проверке наличия некоторых свойств для конечных систем, объединенных общим термином «дискретные автоматы». Основой подхода является развитая в более ранних работах техника пропозиционального кодирования алгоритмов, используемая в задачах обращения дискретных функций из класса, известного своими многочисленными приложениями в кибернетике.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет

Публикация в печати: 0