| Journal Paper | Journal Paper Information |
|---|---|
| Name | abdullah |
| Co-Authors | Hafiz Mahfooz Ul Haque, Nida Hafeez |
| Department | Computer Sciences |
| Title OF Paper | Formal modelling and verification of autonomous reasoning based flight simulation system |
| Title Of Journal | Lahore Garrison University Research Journal of Computer Science and Information Technology |
| Paper Type | HEC Recognized Local |
| Impact Factor | |
| Start Date | 2024-04-24 |
| Pages | 09 |
| Issue No | Issue (1) |
| Volume No | Vol (8) |
| DOI | http://lgurjcsit.lgu.edu.pk/index.php/lgurjcsit/article/view/519 |
| Paper Status | Published |