Xi Wu, Yongxin Zhao, Huibiao Zhu. Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 220-227, IEEE, 2016. [doi]
Abstract is missing.