Verification of Session Initiation Protocol Using Timed Colored Petri Net

Journals Menu

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

International Journal of Communications, Network and System Sciences

ISSN Print: 1913-3715
ISSN Online: 1913-3723
www.scirp.org/journal/ijcns
E-mail: ijcns@scirp.org

Google-based Impact Factor: 0.66
Citations h5-index & Ranking

Journals Menu

"Verification of Session Initiation Protocol Using Timed Colored Petri Net"
written by Safiye Kızmaz, Mürvet Kırcı,
published by International Journal of Communications, Network and System Sciences, Vol.4 No.3, 2011

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	Interdomain Quality of Service Negotiation Using DEA Analysis and Petri Nets
	Advances in Operational Research in the Balkans: XIII Balkan Conference on Operational Research, 2019

[2]	Modelling of AODV Routing Protocol using Timed Coloured Petri Nets
	2018

[3]	Modeling and verification of some communication protocols using Event-B Method
	2017

[4]	Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem
	Application and Theory of Petri Nets and Concurrency, 2017

[5]	Testing of incorrect SIP messages processing
	2017

[6]	Analysing timed compatibility of web service choreography
	International Journal of Critical Computer-Based Systems, 2017

[7]	A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction
	Journal of Computer Networks and Communications, 2014

[8]	Modeling of Session Initiation Protocol INVITE Transaction Using Colored Petri Nets
	Proceedings of the 8th …, 2012

[9]	Dynamic Simulation of Vehicle Routing Using Timed Colored Petri Nets
	NULL 2012

[1]	Testing of incorrect SIP messages processing 2017 International Conference on Military Technologies (ICMT), 2017 DOI:10.1109/MILTECHS.2017.7988796

[2]	A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction Journal of Computer Networks and Communications, 2014 DOI:10.1155/2014/352071

[3]	Advances in Location-Based Services Lecture Notes in Geoinformation and Cartography, 2012 DOI:10.1007/978-3-642-24198-7_8

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

International Journal of Communications, Network and System Sciences

International Journal of Communications, Network and System Sciences

Journals Menu

Home

About SCIRP

Service

Policies