Internet of Things (IoT): A verification framework.

Published in: CCWC (2017)

Keyphrases

main contribution
probabilistic model
lightweight
database
theoretical framework
location information
databases
decision trees
logic programs
cloud computing
conceptual framework
ubiquitous computing
mobile computing