External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty

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]

Authors

Ghalya Alwhishi

This author has not been identified. Look up 'Ghalya Alwhishi' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Ahmed Elwhishi

This author has not been identified. Look up 'Ahmed Elwhishi' in Google
runs on