Research Article

Towards Sophisticated Air Traffic Control System Using Formal Methods

Figure 3

Aircrafts landing/taking off statuses.