Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg18"><tr><td> </td><td>act4: last_landing_t ≔ curr_t</td></tr><tr><td> </td><td>act5: separation_t ≔ Separation_Time(brandof(aircraft))</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg18

Box 18

Box 18: Towards Sophisticated Air Traffic Control System Using Formal Methods 