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
补充文件
