![]() | ![]() |
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] |