Login / Signup

Verification of Session Initiation Protocol Using Timed Colored Petri Net.

Safiye KizmazMürvet Kirci
Published in: Int. J. Commun. Netw. Syst. Sci. (2011)
Keyphrases
  • colored petri nets
  • petri net
  • session initiation protocol
  • web services
  • real time
  • neural network