CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol.

Jing Liu Xinming Ye Jun Li

Published in: SNPD (2010)

Keyphrases

functional verification
cp nets
soft constraints
real time
artificial intelligence
reinforcement learning
multi attribute
graphical representation
formal verification