• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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