F. Ahmad

Modeling of Existing and Candidate Hydro Power Plants Generation Expansion Planning using Wien Automatic System Planning-IV Model

F. Shinwari, M. Akbar, Khalid Mohammed Khan, 2013 .

Formal modeling of ATC signals using Z notation

F. Ahmad, N. A. Khan, S. Yousaf, 2012, 2012 International Conference on Open Source Systems and Technologies.

Formal model of Random Walk mobility model for WMN using Coloured Petri Nets

F. Ahmad, W. A. Baig, N. A. Khan, 2014, Proceedings of 2014 11th International Bhurban Conference on Applied Sciences & Technology (IBCAST) Islamabad, Pakistan, 14th - 18th January, 2014.