1.Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

作　　者：Nazir Ahmad Zafar ;Ajmal Hussain ;Amir Ali

出　　处：Journal of Software Engineering and Applications. 2010 ;3(8):803-812.doi:10.4236/jsea.2010.38093

出版社：Scientific Research Publishing

文章 ID：30893685

文章详细全文下载

2.Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata

作　　者：Nazir Ahmad Zafar ;Ajmal Hussain ;Amir Ali

出　　处：Journal of Software Engineering and Applications. 2009 ;2(2):77-85.doi:10.4236/jsea.2009.22012

出版社：Scientific Research Publishing

文章 ID：30893731

文章详细全文下载

3.Syntax-Tree Regular Expression Based DFA FormalConstruction

作　　者：Nazir Ahmad Zafar ;Fawaz Alsaade

出　　处：Intelligent Information Management. 2012 ;4(4):138-146.doi:10.4236/iim.2012.44021

出版社：Scientific Research Publishing

文章 ID：87880856

文章详细全文下载

4.LR(K) Parser Construction Using Bottom-up Formal Analysis

作　　者：Nazir Ahmad Zafar

出　　处：Journal of Software Engineering and Applications. 2012 ;5(1):21-28.doi:10.4236/jsea.2012.51004

出版社：Scientific Research Publishing

文章 ID：87886127

文章详细全文下载

5.Verifying Route Request Procedure of AODV Using Graph Theory and Formal Methods

作　　者：Shakeel Ahmed ;A. K. Ramani ;Nazir Ahmad Zafar

出　　处：International Journal on Applications of Graph Theory in Wireless ad hoc Networks and Sensor Networks. 2011 ;3(2).

出版社：Academy & Industry Research Collaboration Center (AIRCC)

文章 ID：86838691

文章详细全文下载

6.Model Analysis of Equivalence Classes in UML Events Relations

作　　者：Nazir Ahmad Zafar

出　　处：Journal of Software Engineering and Applications. 2013 ;6(12):653-661.doi:10.4236/jsea.2013.612078

出版社：Scientific Research Publishing

文章 ID：90947261

文章详细全文下载

7.Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs

作　　者：Mohammed Alnuem ;Nazir Ahmad Zafar ;Muhammad Imran 等

出　　处：International Journal of Distributed Sensor Networks. 2014 ;2014.doi:10.1155/2014/140973

出版社：Hindawi Publishing Corporation

文章 ID：91292369

文章详细全文下载

8.Model Analysis of Equivalence Classes in UML Events Relations

作　　者：Nazir Ahmad Zafar

出　　处：Journal of Software Engineering and Applications. 2013 ;06(12):653-661.doi:10.4236/jsea.2013.612078

出版社：Scientific Research Publishing

文章 ID：175447467

文章详细全文下载

9.Analysis and Formal Model of RFID-Based Patient Registration System

作　　者：Marrium Khalid ;Hamra Afzaal ;Shoaib Hassan 等

出　　处：International Journal of Advanced Computer Science and Applications(IJACSA). 2017 ;8(11).doi:10.14569/IJACSA.2017.081160

出版社：Science and Information Society (SAI)

文章 ID：210682531

文章详细全文下载

10.UML based Formal Model of Smart Transformer Power System

作　　者：Muniba Sultan ;Amna Pir ;Nazir Ahmad Zafar

出　　处：International Journal of Advanced Computer Science and Applications(IJACSA). 2017 ;8(11).doi:10.14569/IJACSA.2017.081138

出版社：Science and Information Society (SAI)

文章 ID：210682553

文章详细全文下载

	有本地全文	14篇
	有全文链接	2篇

	2022	1篇
	2021	1篇
	2017	3篇
	2016	1篇
	2014	1篇

	Nazir Ahmad Zafar	16篇
	Ajmal Hussain	2篇
	Amir Ali	2篇
	Fahad Alhumaidan	2篇
	Hamra Afzaal	2篇

	Tariq Ali	2篇
	A. K. Ramani	1篇
	Abdullah Saeed Alwadie	1篇
	Amjad Ali	1篇
	Amna Pir	1篇
	Eman H. Alkhammash	1篇
	Farhan Ullah	1篇
	Fawaz Alsaade	1篇
	Mahmoud Fayed	1篇
	Marrium Khalid	1篇
	Mohammed Alnuem	1篇
	Muazzam A. Khan Khattak	1篇
	Muhammad Imran	1篇
	Muhammad Irfan	1篇
	Muniba Sultan	1篇
	Myriam Hadjouni	1篇
	Sana Ullah	1篇
	Sana Yasin	1篇
	Shaheen Kousar	1篇
	Shakeel Ahmed	1篇
	Shoaib Hassan	1篇
	Umar Draz	1篇
	Umber Noureen Abbas	1篇

	Journal of Software Engineering and Applications	5篇
	International Journal of Advanced Computer Science and Applications(IJACSA)	3篇
	International Journal of Computer Science and Network Security	2篇
	International Journal of Distributed Sensor Networks	2篇
	ETRI Journal	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nazir Ahmad Zafar")))) )) ) )"

	Intelligent Information Management	1篇
	International Journal on Applications of Graph Theory in Wireless ad hoc Networks and Sensor Networks	1篇
	Sustainability	1篇

	计算技术、计算机技术	12篇
	计算机网络	2篇
	应用物理学	1篇
	电信	1篇
	社会与环境	1篇

	美国	11篇
	韩国	3篇
	印度	1篇
	瑞士	1篇