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

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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