Formal specification of the TCAS protocol
9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.
1993-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Specification of the TCAS Protocol
British Library Conference Proceedings | 1993
|Online Contents | 1998
|Online Contents | 2003
|SAE Technical Papers | 1983
|Tema Archiv | 1987
|