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 paper

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
CountryUnited States
CitySchaumburg, Ill.

Cite this