![](/img/cover-not-exists.png)
[ACM Press the 3rd ACM International Conference - Palo Alto, CA, USA (2016.11.16-2016.11.17)] Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments - BuildSys '16 - Systematically Debugging IoT Control System Correctness for Building Automation
Liang, Chieh-Jan Mike, Bu, Lei, Li, Zhao, Zhang, Junbei, Han, Shi, Karlsson, Börje F., Zhang, Dongmei, Zhao, FengYear:
2016
Language:
english
DOI:
10.1145/2993422.2993426
File:
PDF, 974 KB
english, 2016