short presentation in a panel discussion at the FM’99, World Congress on Formal Methods

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Formal specification of a voice communication system used in air traffic control, an industrial application of light-weight formal methods using VDM++
Zeitraum23 Sep 1999
Gehalten amshort presentation in a panel discussion at the FM’99, World Congress on Formal Methods
VeranstaltungstypKonferenz