Verification of Session Initiation Protocol Using Timed Colored Petri Net

Kızmaz S., Kırcı M.

Int. J. Communications, Network and System Sciences,, cilt.4, sa.3, ss.170-179, 2011 (Hakemli Dergi)

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 4 Sayı: 3
  • Basım Tarihi: 2011
  • Dergi Adı: Int. J. Communications, Network and System Sciences,
  • Derginin Tarandığı İndeksler: Communication Abstracts
  • Sayfa Sayıları: ss.170-179
  • İstanbul Teknik Üniversitesi Adresli: Evet