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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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 Juni 2000 → 23 Juni 2000

Konferenz

KonferenzInternational Conference on Requirements Engineering
Land/GebietUSA / Vereinigte Staaten
OrtSchaumburg, Ill.
Zeitraum19/06/00 → 23/06/00

  • Formale Methoden

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

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren