Nazir A. Zafar

Promotion of Local to Global Operation in Train Control System

Sher Afzal Khan, Nazir A. Zafar, S. Khan, 2007, J. Digit. Inf. Manag..

Towards the formalization of railway interlocking system using Z-notations

Sher Afzal Khan, Nazir A. Zafar, S. Khan, 2009, 2009 2nd International Conference on Computer, Control and Communication.