Open Access

ARTICLE

Modeling and Verification of Aircraft Takeoff Through Novel Quantum Nets

Maryam Jamal¹, Nazir Ahmad Zafar², Atta-ur-Rahman^3,*, Dhiaa Musleh³, Mohammed A. Gollapalli⁴, Sghaier Chabani⁴

1 School of Systems and Technology, University of Management & Technology (UMT), C-II Block C 2 Phase 1 Johar Town, Lahore, 54770, Punjab, Pakistan
2 Department of Computer Science, COMSATS University Islamabad–Sahiwal Campus, Sahiwal, 57000, Punjab, Pakistan
3 Department of Computer Science (CS), College of Computer Science and Information Technology (CCSIT), Imam Abdulrahman Bin Faisal University (IAU), Dammam, 31441, Saudi Arabia
4 Department of Computer Information System (CIS), College of Computer Science and Information Technology (CCSIT), Imam Abdulrahman Bin Faisal University (IAU), Dammam, 31441, Saudi Arabia

* Corresponding Author: Atta-ur-Rahman. Email: