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

Bernhard Aichernig, Johann Hoerl

Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation

Originalsprachedeutsch
PublikationsstatusVeröffentlicht - 22 Juni 2000
VeranstaltungFourth International Conference on Requirements Engineering - Schaumburg, Illinois, USA / Vereinigte Staaten
Dauer: 22 Juni 2000 → …

Konferenz

KonferenzFourth International Conference on Requirements Engineering
KurztitelICRE2000
Land/GebietUSA / Vereinigte Staaten
OrtSchaumburg, Illinois
Zeitraum22/06/00 → …

Andere Dateien und Links

  • Formale Methoden

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

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren