Login / Signup

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