Login / Signup

Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.

Shin'ichi NaganoYoshinori HatakeyamaYoshiaki KakudaTohru Kikuno
Published in: ICNP (1996)
Keyphrases
  • experimental evaluation
  • communication protocols
  • dynamic programming
  • social networks
  • reachability analysis