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

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

Тип публикации: Статья в журнале

Тип материала: Текст

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

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

Язык публикации: russian

Номера страниц: 48–56

Количество страниц: 9

Номер: 4 (24)

Год публикации: 2009

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

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

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

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

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

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

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

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