C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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