Experiments on parallel composition of timed finite state machines - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

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

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

Авторов:
596 024

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

Эксперименты no построению параллельной композиции временных автоматов

Sotnikov A. P., Shabaldina, Natalia V., Gromov, Maxim L.

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

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

Аннотация:

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

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

Источник: Труды Института системного программирования РАН. 2017. Т. 29, вып. 3. С. 233-246

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