Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods

Bernhard Aichernig, Hannes Hörl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationInternational Conference on Requirements Engineering
PublisherInstitute of Electrical and Electronics Engineers
Pages190-190
ISBN (Print)0-7695-0565-1
Publication statusPublished - 2000
EventInternational Conference on Requirements Engineering - Schaumburg, Ill., United States
Duration: 19 Jun 200023 Jun 2000

Conference

ConferenceInternational Conference on Requirements Engineering
CountryUnited States
CitySchaumburg, Ill.
Period19/06/0023/06/00

Projects

Formal Methods

Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

1/01/95 → …

Project: Research area

Cite this

Aichernig, B., & Hörl, H. (2000). Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods. In International Conference on Requirements Engineering (pp. 190-190). Institute of Electrical and Electronics Engineers.