Cyber-Physical Verification of Intermittently Powered Embedded Systems.

Rose Bohrer Bashima Islam

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)

Keyphrases

embedded systems
cyber physical
cyber physical systems
social networks
low cost
physical world
computing power
embedded software
embedded devices
situation awareness
software systems
cyber security
physical space
decision process
smart home
virtual environment
case study
information systems