| |
| 2000 | ||
|---|---|---|
| 3 | EE | Johann Hörl, Bernhard K. Aichernig: Requirements Validation of a Voice Communication System Used in Air Traffic Control. ICRE 2000: 190 |
| 2 | EE | Johann Hörl, Bernhard K. Aichernig: Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software 17(3): (2000) |
| 1999 | ||
| 1 | EE | Johann Hörl, Bernhard K. Aichernig: Formal Specification of a Voice Communication System Used in Air Traffic Control. World Congress on Formal Methods 1999: 1868 |
| 1 | Bernhard K. Aichernig | [1] [2] [3] |