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

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++ (abstract). In J. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, volume 1709 of Lecture Notes in Computer Science, page 1868. Springer, 1999.