Enviar artigo por via de e-mail Testing Cyber-Physical Systems Using Timed Finite State Machines
- Autores: Gromov M.L.1, Yevtushenko N.V.1, Laputenko A.V.1
-
Afiliações:
- National Research Tomsk State University
- Edição: Volume 59, Nº 12 (2017)
- Páginas: 2181-2182
- Seção: Article
- URL: https://ogarev-online.ru/1064-8887/article/view/237804
- DOI: https://doi.org/10.1007/s11182-017-1033-7
- ID: 237804
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Palavras-chave
Sobre autores
M. Gromov
National Research Tomsk State University
Autor responsável pela correspondência
Email: maxim.leo.gromov@gmail.com
Rússia, Tomsk
N. Yevtushenko
National Research Tomsk State University
Email: maxim.leo.gromov@gmail.com
Rússia, Tomsk
A. Laputenko
National Research Tomsk State University
Email: maxim.leo.gromov@gmail.com
Rússia, Tomsk
Arquivos suplementares
