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

Aichernig, B. (Speaker)

Institute of Software Technology (7160)

Activity: Talk or presentation › Talk at conference or symposium › Science 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++

Period	23 Sept 1999
Event title	short presentation in a panel discussion at the FM’99, World Congress on Formal Methods
Event type	Conference