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

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

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

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

Том:

Номер: 4 (24)

Год: 2009

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

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

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

URL:

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

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

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

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

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

Добавил в систему: