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