Abdullah, Hafiz Mahfooz Ul Haque, Nida Hafeez. Formal modelling and verification of autonomous reasoning based flight simulation system. Research Journal Of Computer Science And Information Technology [Internet]. 2024Apr.24 [cited 2024Oct.18];8(1). Available from: http://lgurjcsit.lgu.edu.pk/index.php/lgurjcsit/article/view/519