Login / Signup

Formal Analysis of Smart Contract Based on Colored Petri Nets.

Wang DuoXin HuangXiaofeng Ma
Published in: IEEE Intell. Syst. (2020)
Keyphrases
  • formal analysis
  • colored petri nets
  • petri net
  • web services
  • agent model
  • formal methods
  • supply chain
  • smart grid
  • ban logic
  • database
  • data model
  • open source
  • smart environments
  • revenue sharing