Xin Xin 0007, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck. Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. In 8th IEEE World Forum on Internet of Things, WF-IoT 2022, Yokohama, Japan, October 26 - Nov. 11, 2022. pages 1-7, IEEE, 2022. [doi]
@inproceedings{XinKSS22,
title = {Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study},
author = {Xin Xin 0007 and Sye Loong Keoh and Michele Sevegnani and Martin Saerbeck},
year = {2022},
doi = {10.1109/WF-IoT54382.2022.10152177},
url = {https://doi.org/10.1109/WF-IoT54382.2022.10152177},
researchr = {https://researchr.org/publication/XinKSS22},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {8th IEEE World Forum on Internet of Things, WF-IoT 2022, Yokohama, Japan, October 26 - Nov. 11, 2022},
publisher = {IEEE},
isbn = {978-1-6654-9153-2},
}