Travelled to:1 × France
1 × USA
Collaborated with:B.K.Aichernig
Talks about:communic (2) traffic (2) control (2) system (2) voic (2) use (2) air (2) specif (1) requir (1) formal (1)
Person: Johann Hörl
DBLP: H=ouml=rl:Johann
Contributed to:
2000
1999Wrote 2 papers:
- ICRE-2000-HorlA #communication #requirements #validation
- Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.
- FM-v2-1999-HorlA #communication #specification
- Formal Specification of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 1868.