Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs

Kushik, Natalia G.; Yevtushenko, Nina V.; Yenigün, Hüsnü

Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs

Kushik, Natalia G., Yevtushenko, Nina V., Yenigün, Hüsnü

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

Дата публикации в реестре: 2020-03-03T19:00:24Z

Ключевые слова:
конечные автоматы, дискретные системы

Тип: статьи в сборниках

Источник: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, Italy. [S. l.], 2016. P. 83-90

Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs

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

Партнеры

Индексация