Sign in

Modeling Session Initiation Protocol with Extended Finite State Machines.

Wenhui SunFeng LiuGang DaiHonghui Li
Published in: PDCAT (2007)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • real time
  • regular expressions
  • database
  • database systems
  • online learning
  • load balancing
  • end to end
  • session initiation protocol