Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi. Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. In Muhammad Younas 0001, Irfan Awan, Wenny Rahayu, editors, 9th International Conference on Future Internet of Things and Cloud, FiCloud 2022, Rome, Italy, August 22-24, 2022. pages 173-180, IEEE, 2022. [doi]
Abstract is missing.