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

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science 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 Sept. 1999
Ereignistitelshort presentation in a panel discussion at the FM’99, World Congress on Formal Methods
VeranstaltungstypKonferenz