Towards the Modular Specification and Validation of Cyber-Physical Systems.

Andre Metelo Christiano Braga Diego N. Brandão

Published in: CoRR (2018)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
embedded systems
social networks
critical infrastructure
real time
intelligent systems