Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance Journal title: EAI Endorsed Transactions on Internet of Things Authors: Nazir Ahmad Zafar , Hamra Afzaal Subject(s): Computer and Information Science, Computer Architecture
UML based Formal Model of Smart Transformer Power System Journal title: International Journal of Advanced Computer Science & Applications Authors: Muniba Sultan, Amna Pir, Nazir Ahmad Zafar Subject(s):