![](/img/cover-not-exists.png)
[IEEE 2020 IEEE International Conference on Smart Internet of Things (SmartIoT) - Beijing, China (2020.8.14-2020.8.16)] 2020 IEEE International Conference on Smart Internet of Things (SmartIoT) - Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications
Xin, Xin, Keoh, Sye Loong, Sevegnani, Michele, Saerbeck, MartinYear:
2020
DOI:
10.1109/smartiot49966.2020.00016
File:
PDF, 2.20 MB
2020