@inproceedings{falcone:hal-03848674, TITLE = {{Probabilistic Analysis of Industrial IoT Applications}}, AUTHOR = {Falcone, Yli{\`e}s and Faqrizal, Irman and Sala{\"u}n, Gwen}, URL = {https://inria.hal.science/hal-03848674}, BOOKTITLE = {{IoT 2022 -The 12th International Conference on the Internet of Things}}, ADDRESS = {Delft, Netherlands}, YEAR = {2022}, MONTH = Nov, KEYWORDS = {Industrial IoT ; IEC 61499 ; Probabilistic model checking ; Runtime verification}, PDF = {https://inria.hal.science/hal-03848674v2/file/main%20%281%29.pdf}, HAL_ID = {hal-03848674}, HAL_VERSION = {v2}, }