%0 Conference Paper %1 conf/wf-iot/XinKSS22 %A Xin, Xin %A Keoh, Sye Loong %A Sevegnani, Michele %A Saerbeck, Martin %B WF-IoT %D 2022 %I IEEE %K dblp %P 1-7 %T Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. %U http://dblp.uni-trier.de/db/conf/wf-iot/wf-iot2022.html#XinKSS22 %@ 978-1-6654-9153-2

@inproceedings{conf/wf-iot/XinKSS22, added-at = {2023-06-28T00:00:00.000+0200}, author = {Xin, Xin and Keoh, Sye Loong and Sevegnani, Michele and Saerbeck, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2805c8978adfa0e24da8569897cb9fcd5/dblp}, booktitle = {WF-IoT}, crossref = {conf/wf-iot/2022}, ee = {https://doi.org/10.1109/WF-IoT54382.2022.10152177}, interhash = {79f470429c311da7b08c9441fb78e6ad}, intrahash = {805c8978adfa0e24da8569897cb9fcd5}, isbn = {978-1-6654-9153-2}, keywords = {dblp}, pages = {1-7}, publisher = {IEEE}, timestamp = {2024-04-09T15:34:44.000+0200}, title = {Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.}, url = {http://dblp.uni-trier.de/db/conf/wf-iot/wf-iot2022.html#XinKSS22}, year = 2022 }