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 przez
Cytowane przez
Rok
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
752012
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
382012
Formal specification and validation of railway network components using Z notation
NA Zafar
IET software 3 (4), 312-320, 2009
352009
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
332016
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
332011
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
282015
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
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
282010
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
272011
Modeling and formal specification of automated train control system using Z notation
NA Zafar
2006 IEEE International Multitopic Conference, 438-443, 2006
272006
Formal modeling and algorithm of subnet-based backup assigning in WSAN
H Afzaal, NA Zafar
2015 International Conference on Information and Communication Technologies …, 2015
262015
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
Intelligent traffic monitoring and guidance system for smart city
S Latif, H Afzaal, NA Zafar
2018 International Conference on Computing, Mathematics and Engineering …, 2018
212018
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
182012
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
172015
Formal model for moving block railway interlocking system based on un-directed topology
NA Zafar
2006 International Conference on Emerging Technologies, 217-223, 2006
172006
Robot-based forest fire detection and extinguishing model
H Afzaal, NA Zafar
2016 2nd International Conference on Robotics and Artificial Intelligence …, 2016
162016
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
162014
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
162009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20