Obserwuj
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
932012
Intelligent traffic monitoring and guidance system for smart city
S Latif, H Afzaal, NA Zafar
2018 International Conference on Computing, Mathematics and Engineering …, 2018
732018
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
412012
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, 247-265, 2016
402016
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
392014
Modeling and formal specification of automated train control system using Z notation
NA Zafar
2006 IEEE International Multitopic Conference, 438-443, 2006
372006
Formal specification and validation of railway network components using Z notation
NA Zafar
IET software 3 (4), 312-320, 2009
352009
Robot-based forest fire detection and extinguishing model
H Afzaal, NA Zafar
2016 2nd International Conference on Robotics and Artificial Intelligence …, 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
322015
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
322010
A survey of security and privacy issues in IoT for smart cities
S Latif, NA Zafar
2017 Fifth International Conference on Aerospace Science & Engineering …, 2017
292017
Formal modeling and algorithm of subnet-based backup assigning in WSAN
H Afzaal, NA Zafar
2015 International Conference on Information and Communication Technologies …, 2015
292015
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
292015
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
282011
Automata based railway gate control system at level crossing
A Rehman, S Latif, NA Zafar
2019 International Conference on Communication Technologies (ComTech), 30-35, 2019
262019
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
262014
Modelling of graph-based smart parking system using internet of things
S Latif, H Afzaal, NA Zafar
2018 International Conference on Frontiers of Information Technology (FIT), 7-12, 2018
242018
Blockchain and iot based formal model of smart waste management system using tla+
S Latif, A Rehman, NA Zafar
2019 International conference on frontiers of information technology (FIT …, 2019
222019
Formal model for moving block railway interlocking system based on un-directed topology
NA Zafar
2006 International Conference on Emerging Technologies, 217-223, 2006
222006
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20