Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network

Songyan Xu, Ratnesh Kumar, Alessandro Pinto. Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. IEEE T. Automation Science and Engineering, 10(1):137-144, 2013. [doi]

Abstract

Abstract is missing.