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 paperpeer-review

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


ConferenceInternational Conference on Requirements Engineering
Country/TerritoryUnited States
CitySchaumburg, Ill.
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this