Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck. Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. In 2020 IEEE International Conference on Smart Internet of Things, SmartIoT 2020, Beijing, China, August 14-16, 2020. pages 43-50, IEEE, 2020. [doi]
Abstract is missing.