Formal modeling of a complex adaptive air traffic control system

Abdessamad Jarrar, Youssef Balouki. Formal modeling of a complex adaptive air traffic control system. CASM, 6:6, 2018. [doi]

Abstract

Abstract is missing.