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 Presentation

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


ConferenceFourth International Conference on Requirements Engineering (ICRE2000)
Abbreviated titleICRE2000
Country/TerritoryUnited States
CitySchaumburg, Illinois
Period22/06/00 → …
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this