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

Bernhard Aichernig, Hannes Hörl

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Filter
Active

Search results