Abdullah, Hafiz Mahfooz Ul Haque, & Nida Hafeez. (2024). Formal modelling and verification of autonomous reasoning based flight simulation system. Lahore Garrison University Research Journal of Computer Science and Information Technology, 8(1). https://doi.org/10.54692/lgurjcsit.2024.081519