Secure-by-Construction Synthesis of Cyber-Physical Systems.

Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani

Published in: CoRR (2022)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
security issues
mobile devices
data collection