Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Xia Wang' in GoogleThis author has not been identified. Look up 'Jun Liu' in GoogleThis author has not been identified. Look up 'Chris D. Nugent' in GoogleThis author has not been identified. Look up 'Samuel J. Moore' in GoogleThis author has not been identified. Look up 'Yang Xu' in Google

runs on WebDSL