Cyber-physical systems

Example terms related to Cyber-physical systems: Specification, synthesis and verification of cyber-physical systems.