Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty.

Ghalya Alwhishi Jamal Bentahar Ahmed Elwhishi

Published in: FiCloud (2022)

Keyphrases

management system
cloud computing
finite state machines
real time
computer systems
database
databases
distributed systems
data mining
software engineering
intelligent systems
petri net
retrieval systems
model checking
real time systems
reactive systems