A Systematic Mapping Study on the Verification of Cyber-Physical Systems
Cyber-physical system (CPS) is a kind of complex real-time hybrid system which involves deep interactions between computation processors, communication network, and physical environments are deemed as the key enablers of next generation computer applications. However, how to verify CPS effectively i...
| Principais autores: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
IEEE
2018-01-01
|
| coleção: | IEEE Access |
| Assuntos: | |
| Acesso em linha: | https://ieeexplore.ieee.org/document/8472900/ |