A trusted proof mechanism of data source for smart city.

Jianli Liu Bei Gong Qian Wang

Published in: Future Gener. Comput. Syst. (2022)

Keyphrases

smart city
data sources
smart cities
information sources
databases
multiple data sources
service integration
neural network
knowledge management
theorem prover