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

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

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

Авторов:
596 024

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

Derivation of the cascade parallel composition of timed finite state machines using BALM-II

Gromov, Maxim L., Shabaldina, Natalia V.

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

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

Аннотация:

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

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

Источник: Automatic control and computer sciences. 2017. Vol. 51, № 7. P. 507-515

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