, NUST University, School of Electrical Engineering and Computer Science (SEECS) NUST Campus H-12, Islamabad, Pakistan

• Information Technology and Control Vol. 47 No. 3 (2018) - Articles
  Towards the Formal Development of Software Based Systems: Access Control System as a Case Study
  Abstract  PDF