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

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

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.

Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods. / Aichernig, Bernhard; Hörl, Hannes.

International Conference on Requirements Engineering. Institute of Electrical and Electronics Engineers, 2000. p. 190-190.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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. Institute of Electrical and Electronics Engineers, pp. 190-190, International Conference on Requirements Engineering, Schaumburg, Ill., United States, 19/06/00.
Aichernig B, Hörl H. 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. Institute of Electrical and Electronics Engineers. 2000. p. 190-190
Aichernig, Bernhard ; Hörl, Hannes. / Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods. International Conference on Requirements Engineering. Institute of Electrical and Electronics Engineers, 2000. pp. 190-190
@inproceedings{e6c22b96ca0d431b853b36767717909f,
title = "Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods",
author = "Bernhard Aichernig and Hannes H{\"o}rl",
year = "2000",
language = "English",
isbn = "0-7695-0565-1",
pages = "190--190",
booktitle = "International Conference on Requirements Engineering",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

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

AU - Aichernig, Bernhard

AU - Hörl, Hannes

PY - 2000

Y1 - 2000

M3 - Conference contribution

SN - 0-7695-0565-1

SP - 190

EP - 190

BT - International Conference on Requirements Engineering

PB - Institute of Electrical and Electronics Engineers

ER -