Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Muhammad Rashid' in GoogleThis author has not been identified. Look up 'Muhammad Qadeer' in GoogleThis author has not been identified. Look up 'Husnain Raza' in GoogleThis author has not been identified. Look up 'Muhammad Masood Ul Rehman' in GoogleThis author has not been identified. Look up 'Imran Rasool' in GoogleThis author has not been identified. Look up 'Nazir Ahmad Zafar' in Google

runs on WebDSL