The Specification of Blockchain Oracle System.

Jie Li Kai Hu Ji Wan Wenhao Zhan Yidan Zou Yuan Ai Liping Gao Yujun Yin

Published in: MDM (2023)

Keyphrases

database
oracle database
high level
computer vision
expert systems
specification language
neural network
decision trees
data management
user defined
formal specification
formal verification
asynchronous circuits