Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Detalhes bibliográficos
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Association for Computing Machinery (ACM), 4/15/19
Assuntos:
Acesso em linha:Full text available on Research4Life (ACM)

Registos relacionados