Requirements Validation of a Voice Communication System used in Air Traffic Control, an Industrial Application of Light-weight Formal Methods (abstract)

J. Hörl and B. K. Aichernig

Abstract:

Reference: J. Hörl and B. K. Aichernig. Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods (abstract). In Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), June 19-23, 2000, Schaumburg, Illinois, page 190. IEEE, 2000. Selected as one of three best papers.