Login / Signup

Towards machine-readable semantic-based E-business contract representations using Network of Timed Automata (NTA).

Peng QinQuanyi HuMenglin Cui
Published in: Future Gener. Comput. Syst. (2024)
Keyphrases
  • timed automata
  • computer networks
  • peer to peer
  • network model
  • supply chain
  • model checking
  • complex networks
  • communication networks
  • data sets
  • information systems
  • source code
  • business models
  • theorem proving