Systematically Debugging IoT Control System Correctness for Building Automation.

Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Brje F. Karlsson, Dongmei Zhang, Feng Zhao

Browse the full SENSYS paper archive.