Formal specification of a voice communication system used in air traffic control an industrial application of light-weight formal methods using VDM++

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1868-

  Hörl, Johann ^a   Aichernig, Bernhard K ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949525321     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_59     Document Type: Conference Paper

References (0)