Formal Specification of a Voice Communication System Used in Air Traffic Control

J. Hörl and B. K. Aichernig

Abstract:

Reference: J. Hörl and B. K. Aichernig. Formal specification of a voice communication system used in air traffic control. In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II, page 1868, London, UK, UK, 1999. Springer-Verlag.