In this section

Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study

Xin, X., Keoh, S. L. , Sevegnani, M. and Saerbeck, M. (2022) Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. In: IEEE 8th World Forum on Internet of Things (WF-IoT2022), Yokohama, Japan, 31 October - 4 November, (Accepted for Publication)

[img] Text
281652.pdf - Accepted Version
Restricted to Repository staff only
242kB

Abstract

No abstract available.

Item Type:Conference Proceedings
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Keoh, Dr Sye Loong and Sevegnani, Dr Michele
Authors: Xin, X., Keoh, S. L., Sevegnani, M., and Saerbeck, M.
College/School:College of Science and Engineering > School of Computing Science
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Deposit and Record Details