Professor Nazir Ahmad Zafar, PhD
Professor Nazir Ahmad Zafar, PhD
COMSATS University Islamabad (CUI), Sahiwal Campus, Sahiwal
Zweryfikowany adres z cuisahiwal.edu.pk
TytułCytowane przezRok
Towards the safety properties of moving block railway interlocking system
NA Zafar, SA Khan, K Araki
Int. J. Innovative Comput., Info & Control 8 (7), 5677-5690, 2012
682012
Formal specification and validation of a hybrid connectivity restoration algorithm for wireless sensor and actor networks
M Imran, NA Zafar
Sensors 12 (9), 11754-11781, 2012
392012
Formal specification and validation of railway network components using Z notation
NA Zafar
IET software 3 (4), 312-320, 2009
332009
Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications
M Imran, NA Zafar, MA Alnuem, MS Aksoy, AV Vasilakos
Wireless Networks 22 (1), 247-265, 2016
322016
Petri net modeling of railway crossing system using fuzzy brakes
SA Khan, NA Zafar, F Ahmad
International Journal of Physical Sciences 6 (14), 3389-3397, 2011
322011
Formal specification and validation of a localized algorithm for segregation of critical/noncritical nodes in MAHSNs
M Alnuem, NA Zafar, M Imran, S Ullah, M Fayed
International Journal of Distributed Sensor Networks 10 (6), 140973, 2014
282014
Modeling and formal specification of automated train control system using Z notation
NA Zafar
2006 IEEE International Multitopic Conference, 438-443, 2006
272006
Implementing partitioning detection and connectivity restoration in WSAN using VDM-SL
H Afzaal, M Imran, NA Zafar
2015 13th International Conference on Frontiers of Information Technology …, 2015
262015
Improving moving block railway system using fuzzy multi-agent specification language
SA Khan, NA Zafar
Int. J. Innov. Computing, Inform. Control 7 (7), 4517-34, 2011
262011
Formal analysis of departure procedure of air traffic control system
S Yousaf, NA Zafar, SA Khan
2010 2nd International Conference on Software Technology and Engineering 2 …, 2010
262010
Formal modeling and algorithm of subnet-based backup assigning in WSAN
H Afzaal, NA Zafar
2015 International Conference on Information and Communication Technologies …, 2015
252015
Formalizing mobile ad hoc and sensor networks Using VDM-SL
S Riaz, H Afzaal, M Imran, NA Zafar, MS Aksoy
Procedia Computer Science 63, 148-153, 2015
242015
Promotion of Local to Global Operation in Train Control System.
SA Khan, NA Zafar
Journal of Digital Information Management 5 (4), 2007
192007
Formal modeling towards a dynamic organization of multi-agent systems using communicating X-machine and Z-notation
G Ali, SA Khan, NA Zafar, F Ahmad
Indian Journal of Science and Technology 5 (7), 2972-2977, 2012
172012
Towards the formalization of railway interlocking system using Z-notations
SA Khan, NA Zafar
2009 2nd International Conference on Computer, Control and Communication, 1-6, 2009
172009
Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks
H Afzaal, NA Zafar
2015 International Conference on Open Source Systems & Technologies (ICOSST …, 2015
162015
Formal model for moving block railway interlocking system based on un-directed topology
NA Zafar
2006 International Conference on Emerging Technologies, 217-223, 2006
162006
Intelligent traffic monitoring and guidance system for smart city
S Latif, H Afzaal, NA Zafar
2018 International Conference on Computing, Mathematics and Engineering …, 2018
152018
Extending Petri net to reduce control strategies of railway interlocking system
SA Khan, NA Zafar, F Ahmad, S Islam
Applied Mathematical Modelling 38 (2), 413-424, 2014
152014
Construction of intersection of nondeterministic finite automata using Z notation
NA Zafar, N Sabir, A Ali
Proceedings of World Academy of Science, Engineering and Technology 30, 591-596, 2008
152008
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20