Email this article Testing Cyber-Physical Systems Using Timed Finite State Machines
- Authors: Gromov M.L.1, Yevtushenko N.V.1, Laputenko A.V.1
-
Affiliations:
- National Research Tomsk State University
- Issue: Vol 59, No 12 (2017)
- Pages: 2181-2182
- Section: Article
- URL: https://bakhtiniada.ru/1064-8887/article/view/237804
- DOI: https://doi.org/10.1007/s11182-017-1033-7
- ID: 237804
Cite item
Open Access
Access granted
Subscription Access
About the authors
M. L. Gromov
National Research Tomsk State University
Author for correspondence.
Email: maxim.leo.gromov@gmail.com
Russian Federation, Tomsk
N. V. Yevtushenko
National Research Tomsk State University
Email: maxim.leo.gromov@gmail.com
Russian Federation, Tomsk
A. V. Laputenko
National Research Tomsk State University
Email: maxim.leo.gromov@gmail.com
Russian Federation, Tomsk
Supplementary files
