Open Access

ARTICLE

Modelling and Verification of Context-Aware Intelligent Assistive Formalism

Shahid Yousaf^1,*, Hafiz Mahfooz Ul Haque², Abbas Khalid¹, Muhammad Adnan Hashmi³, Eraj Khan¹

1 Department of Computer Science & IT, The University of Lahore, Lahore, 54000, Pakistan
2 Department of Software Engineering, The University of Lahore, Lahore, 54000, Pakistan
3 Higher Colleges of Technology, Abu Dhabi, 25026, UAE

* Corresponding Author: Shahid Yousaf. Email: