Мақаланы E-mail арқылы жіберу To Simplification of Timed Automata During Synchronization of Components of Physical Systems
- Авторлар: Gromov M.L.1, Evtushenko N.V.1
-
Мекемелер:
- National Research Tomsk State University
- Шығарылым: Том 58, № 11 (2016)
- Беттер: 1645-1647
- Бөлім: Article
- URL: https://journals.rcsi.science/1064-8887/article/view/236852
- DOI: https://doi.org/10.1007/s11182-016-0695-x
- ID: 236852
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
Possibilities of reduction of the number of time variables in a timed automaton used for synchronization of components in physical systems, for example, lasers are investigated. Reduction of the number of time variables allows problems of testing of the components for compliance with requirement specification to be simplified.
Негізгі сөздер
Авторлар туралы
M. Gromov
National Research Tomsk State University
Хат алмасуға жауапты Автор.
Email: gromov@sibmail.com
Ресей, Tomsk
N. Evtushenko
National Research Tomsk State University
Email: gromov@sibmail.com
Ресей, Tomsk
Қосымша файлдар
