Login / Signup
Muhammad Qadeer
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Civil Aviation
Description Language
Model Checker
Formal Specification
Top Venues
FIT
</>
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)