Johann Hörl

According to our database, Johann Hörl authored at least 3 papers between 1999 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2000

Validating Voice Communication Requirements Using Lightweight Formal Methods.

Johann Hörl, Bernhard K. Aichernig

IEEE Softw., 2000

Requirements Validation of a Voice Communication System Used in Air Traffic Control.

Johann Hörl, Bernhard K. Aichernig

Proceedings of the 4th International Conference on Requirements Engineering, 2000

1999

Formal Specification of a Voice Communication System Used in Air Traffic Control.

Johann Hörl, Bernhard K. Aichernig

Proceedings of the FM'99 - Formal Methods, 1999