DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection
Categories
Religious and Islamic Studies Social Sciences Humanities and Arts Natural and Physical Sciences Medical and Health Sciences Engineering and Technology Agricultural and Environmental Sciences Business, Economics, and Management Sciences Law and Political Sciences Language, Literature, and Linguistics

4 Papers found for "Air Traffic Control (4)"

OPTIMIZATION APPROACHES IN AIRCRAFT LANDING PROBLEMS

Omar Salim Abdullah

Science International | 2018

Read Paper
Modeling And Formal Specification Of Air Traffic Control System\nUsing Z Notation

Maryam Jamal

Journal of Independent Studies and Research Computing | 2007

Read Paper
Analogy Between Air Traffic Management and Space Traffic Management from Operational and Technological Aspects

Alper Oren

Journal of Space Technology | 2022

Read Paper
Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets

Amber Razzaq, Asad Raza Kazmi, Awais Qasim, Muhammad Ilyas Fakhir

VAWKUM Transactions on Computer Sciences | 2023

Read Paper