Title	Performance Oriented Information and Communication Technology (ICT): Model for Education Purpose in Pakistan. A Bahawalpur District Case Study
Author	Salman Qadri, Rehan Ali Shah, Muzammil ul Rehman, Saleem Ullah, Ali Nawaz Shah, Muhammad Zaman Ali and Muhammad Munawer Ahmed
Citation	Vol. 17  No. 4  pp. 370-374
Keywords	Information and Communication Technology, IT-Centers, ICT Infrastructure, E-Classes.

Title	Formal Verification of Twin Clutch Gear Control System
Author	Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer
Citation	Vol. 24  No. 3  pp. 151-159
Keywords	Formal Specification, Gear Control System, Requirement Verification, Model-checking.