Deriving compositionally deadlock-free components over synchronous automata compositions - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

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

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

Авторов:
761 409

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

Deriving compositionally deadlock-free components over synchronous automata compositions

Yevtushenko, Nina V., Tiziano, Villa, Jiang, Jie-Hong R., El-Fakih, Khaled

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

Дата публикации в реестре: 2020-03-03T18:32:14Z

Аннотация:

Ключевые слова:
автоматы синхронные, комплексные системы, уравнения

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

Источник: The computer journal. 2015. Vol. 58, № 11. P. 2793-2803

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