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

Integrating functional verification and performance analysis for network protocols using CP-nets.

Jing LiuXinming YeJun ZhangJun LiYi Sun
Published in: ISCC (2010)
Keyphrases
  • network protocols
  • functional verification
  • cp nets
  • multi attribute
  • wireless mesh networks
  • multi dimensional
  • real time
  • decision making
  • data analysis
  • formal verification
  • hardware software