TY  - RPRT
TI  - A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness
AU  - Hyung-Chan An
AU  - Hoeseok Yang
AU  - Soonhoi Ha
PY  - 2016
UR  - https://arxiv.org/abs/1601.08046
ID  - 1601.08046
ER  -