Login / Signup

Formal and executable contracts for transaction-level modeling in SystemC.

Tayeb BouhadibaFlorence MaraninchiGiovanni Funchal
Published in: EMSOFT (2009)
Keyphrases
  • formal specification
  • supply chain
  • data mining
  • higher level
  • concurrency control
  • levels of abstraction
  • modeling method