Formal Specification of a Voice Communication System used in Air Traffic Control, An Industrial Application of Light-weight Formal Methods using VDM++

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, an industrial application of light-weight formal methods using VDM++. Technical Report IST-TEC-99-03, Institute for Software Technology (IST), Graz University of Technology, February 1999.