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

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs	470 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.5220/0005854500830090

Title: Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Creator: Kushik, Natalia G.
|
Yevtushenko, Nina V.
|
Yenigün, Hüsnü
Date: 2016
DOI: 10.5220/0005854500830090

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет | Научное управление
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: 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
Language: eng

Created: 23-11-2017

952 Visitors

692 Hits

273 Downloads

Научное управление Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs