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

Bernhard Aichernig, Johann Hoerl

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Original languageGerman
Publication statusPublished - 22 Jun 2000
EventFourth International Conference on Requirements Engineering (ICRE2000) - Schaumburg, Illinois, United States
Duration: 22 Jun 2000 → …

Conference

ConferenceFourth International Conference on Requirements Engineering (ICRE2000)
Abbreviated titleICRE2000
CountryUnited States
CitySchaumburg, Illinois
Period22/06/00 → …

Cite this

Aichernig, B., & Hoerl, J. (2000). Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods. Fourth International Conference on Requirements Engineering (ICRE2000), Schaumburg, Illinois, United States.