@inproceedings{e5cf8379854f416694b297a3013486f8,
title = "A study on the reliability of software defined wireless sensor network",
abstract = "Software defined wireless sensor network is an network defined for dynamic and secure control of smart devices. It decouples the data plane and the control plane, allowing administrators to reprogram the smart devices in the network and backbone network devices based on users' varying demands. In this paper, a typical architecture of software defined wireless sensor network is proposed. Continuous time Markov chain and continuous stochastic logic are used for model checking the reliability of this architecture, which lead to several interesting findings.",
author = "Yulin Lu and Xin Huang and Baichuan Huang and Weiwen Xu and Qian Zhang and Ruiyang Xu and Dawei Liu",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE International Conference on Smart City, SmartCity 2015 ; Conference date: 19-12-2015 Through 21-12-2015",
year = "2015",
doi = "10.1109/SmartCity.2015.59",
language = "English",
series = "Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "129--134",
editor = "Xingang Liu and Peicheng Wang and Yufeng Wang and Mianxiong Dong and Hsu, {Robert C. H.} and Feng Xia and Yuhui Deng",
booktitle = "Proceedings - 2015 IEEE International Conference on Smart City, SmartCity 2015, Held Jointly with 8th IEEE International Conference on Social Computing and Networking, SocialCom 2015, 5th IEEE International Conference on Sustainable Computing and Communications, SustainCom 2015, 2015 International Conference on Big Data Intelligence and Computing, DataCom 2015, 5th International Symposium on Cloud and Service Computing, SC2 2015",
}