Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel. Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. Information Fusion, 102:102048, February 2024. [doi]
Abstract is missing.