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

• Authors:

• Johann Hörl;Bernhard K. Aichernig

• Affiliations:

• -;-

• Venue:
• FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
• Year:
• 1999