| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 3 |      | Johann Hörl, Bernhard K. Aichernig: Requirements Validation of a Voice Communication System Used in Air Traffic Control. ICRE 2000: 190 |
| 2 | | Johann Hörl, Bernhard K. Aichernig: Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software 17(3): 21-27 (2000) |
| 1999 | ||
| 1 | | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page