Muhammad Masood Ul Rehman

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Description Language

Epistemic Logic

Formal Specification

Top Venues

Publications

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. FIT (2023)