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]
@inproceedings{RashidQRRRZ23,
title = {Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker},
author = {Muhammad Rashid and Muhammad Qadeer and Husnain Raza and Muhammad Masood Ul Rehman and Imran Rasool and Nazir Ahmad Zafar},
year = {2023},
doi = {10.1109/FIT60620.2023.00055},
url = {https://doi.org/10.1109/FIT60620.2023.00055},
researchr = {https://researchr.org/publication/RashidQRRRZ23},
cites = {0},
citedby = {0},
pages = {262-267},
booktitle = {International Conference on Frontiers of Information Technology, FIT 2023, Islamabad, Pakistan, December 11-12, 2023},
publisher = {IEEE},
isbn = {979-8-3503-9578-5},
}