Login / Signup

Formal Modeling of Parallel System Based on TCPN.

Bin ChengXingang WangWeiqin Tong
Published in: NPC (2009)
Keyphrases
  • formal models
  • formal specification
  • database
  • data mining
  • information systems
  • image processing
  • query processing
  • formal methods
  • parallel programming