Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar. Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker. In International Conference on Frontiers of Information Technology, FIT 2023, Islamabad, Pakistan, December 11-12, 2023. pages 262-267, IEEE, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.