Login / Signup
Modeling and Analyzing Smart Contracts using Predicate Transition Nets.
Xudong He
Published in:
QRS Companion (2020)
Keyphrases
</>
supply chain
artificial intelligence
modeling method
data sets
computer vision
genetic algorithm
bayesian networks
multiscale
expert systems
relational databases
ambient intelligence