Testing Cyber-Physical Systems Using Timed Finite State Machines
- Авторлар: Gromov M.L.1, Yevtushenko N.V.1, Laputenko A.V.1
-
Мекемелер:
- National Research Tomsk State University
- Шығарылым: Том 59, № 12 (2017)
- Беттер: 2181-2182
- Бөлім: Article
- URL: https://bakhtiniada.ru/1064-8887/article/view/237804
- DOI: https://doi.org/10.1007/s11182-017-1033-7
- ID: 237804
Дәйексөз келтіру
Негізгі сөздер
Авторлар туралы
M. Gromov
National Research Tomsk State University
Хат алмасуға жауапты Автор.
Email: maxim.leo.gromov@gmail.com
Ресей, Tomsk
N. Yevtushenko
National Research Tomsk State University
Email: maxim.leo.gromov@gmail.com
Ресей, Tomsk
A. Laputenko
National Research Tomsk State University
Email: maxim.leo.gromov@gmail.com
Ресей, Tomsk
Қосымша файлдар
