Login / Signup
Johann Hörl
Publication Activity (10 Years)
Years Active: 1999-2000
Publications (10 Years): 0
</>
Publications
</>
Johann Hörl
,
Bernhard K. Aichernig
Validating Voice Communication Requirements Using Lightweight Formal Methods.
IEEE Softw.
17 (3) (2000)
Johann Hörl
,
Bernhard K. Aichernig
Requirements Validation of a Voice Communication System Used in Air Traffic Control.
ICRE
(2000)
Johann Hörl
,
Bernhard K. Aichernig
Formal Specification of a Voice Communication System Used in Air Traffic Control.
World Congress on Formal Methods
(1999)