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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelInternational Conference on Requirements Engineering
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten190-190
ISBN (Print)0-7695-0565-1
PublikationsstatusVeröffentlicht - 2000
VeranstaltungInternational Conference on Requirements Engineering - Schaumburg, Ill., USA / Vereinigte Staaten
Dauer: 19 Jun 200023 Jun 2000

Konferenz

KonferenzInternational Conference on Requirements Engineering
LandUSA / Vereinigte Staaten
OrtSchaumburg, Ill.
Zeitraum19/06/0023/06/00

Dieses zitieren