Login / Signup
Towards Energy-aware Cyber-Physical Systems Verification and Optimization.
Reza Soltani
Eun-Young Kang
Juan Esteban Heredia Mena
Published in:
FedCSIS (Position Papers) (2021)
Keyphrases
</>
energy aware
cyber physical systems
wireless sensor networks
routing protocol
energy consumption
data center
sensor networks
high performance computing
routing algorithm
smart home
energy efficiency
cyber security
model checking
software engineering
low cost
shortest path
data mining