Материалов:
1 005 021

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Deriving homing sequences for Finite State Machines with timeouts

Tvardovskii, Aleksandr, Yevtushenko, Nina V.

Дата публикации: 2022

Дата публикации в реестре: 2023-12-05T16:01:29Z

Аннотация:
Ключевые слова:
конечные автоматы с таймаутами, установочные последовательности, временные ограничения, конечно-автоматная абстракция

Тип: статьи в журналах

Источник: The computer journal. 2022. Vol. 66, № 9. P. 2181-2190

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core