Login / Signup

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.

Shin'ichi NaganoTohru Kikuno
Published in: RTCSA (1998)
Keyphrases
  • experimental evaluation
  • benchmark datasets
  • communication protocols
  • significant improvement
  • computational cost
  • machine learning methods
  • synthetic and real datasets