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

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

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Conference on Requirements Engineering
Publisher	Institute of Electrical and Electronics Engineers
Pages	190-190
ISBN (Print)	0-7695-0565-1
Publication status	Published - 2000
Event	International Conference on Requirements Engineering - Schaumburg, Ill., United States Duration: 19 Jun 2000 → 23 Jun 2000

Conference

Conference	International Conference on Requirements Engineering
Country/Territory	United States
City	Schaumburg, Ill.
Period	19/06/00 → 23/06/00

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

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 proceeding › Conference paper › peer-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.

@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",

note = "International Conference on Requirements Engineering ; Conference date: 19-06-2000 Through 23-06-2000",

}

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 paper

SN - 0-7695-0565-1

SP - 190

EP - 190

BT - International Conference on Requirements Engineering

PB - Institute of Electrical and Electronics Engineers

T2 - International Conference on Requirements Engineering

Y2 - 19 June 2000 through 23 June 2000

ER -

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

Conference

Projects

Formal Methods

Cite this