Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking

von Wang, Xia
Veröffentlicht in International Conference on Ubiquitous Computing and Ambient Intelligence (14. : 2022 : Córdoba) Proceedings of the international conference on ubiquitous computing & ambient intelligence (UCAmI 2022) ; Set 2 (2023)