Xia Wang, Jun Liu, Chris D. Nugent, Samuel J. Moore, Yang Xu. Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking. In José Bravo 0001, Sergio F. Ochoa, Jesús Favela, editors, Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, UCAmI 2022, Córdoba, Spain, 29 November - 2 December 2022. Volume 594 of Lecture Notes in Networks and Systems, pages 796-808, Springer, 2022. [doi]
@inproceedings{WangLNMX22,
title = {Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking},
author = {Xia Wang and Jun Liu and Chris D. Nugent and Samuel J. Moore and Yang Xu},
year = {2022},
doi = {10.1007/978-3-031-21333-5_78},
url = {https://doi.org/10.1007/978-3-031-21333-5_78},
researchr = {https://researchr.org/publication/WangLNMX22},
cites = {0},
citedby = {0},
pages = {796-808},
booktitle = {Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, UCAmI 2022, Córdoba, Spain, 29 November - 2 December 2022},
editor = {José Bravo 0001 and Sergio F. Ochoa and Jesús Favela},
volume = {594},
series = {Lecture Notes in Networks and Systems},
publisher = {Springer},
isbn = {978-3-031-21333-5},
}