Muhammad Masood Ul Rehman

According to our database, Muhammad Masood Ul Rehman authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker.

Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2023