Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg12"><tr><td> </td><td><i>act4: ready_to_takeoff_aircrafts</i> ≔ <i>ready_to_takeoff_aircrafts</i>\<i>{aircraft}</i></td></tr><tr><td> </td><td><i>act5: the_ready_to_takeoff_moment</i> ≔ <i>{aircraft}</i><object data="https://static.hindawi.com/articles/mse/volume-2018/1692432/figures/1692432.fig-inline.001.svgz" name="1692432.fig-inline.001" type="image/svg+xml"></object><i>the_ready_to_takeoff_moment</i></td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg12

Box 12

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