DocumentCode
943137
Title
Case study: Traffic Alert and Collision-Avoidance System
Author
Craigen, Dan ; Gerhart, Susan ; Ralston, Ricis Ted
Author_Institution
ORA Canada
Volume
11
Issue
1
fYear
1994
Firstpage
35
Lastpage
28
Keywords
Air traffic control; Aircraft; Content addressable storage; FAA; Formal specifications; Logic; Road accidents; Software systems; Standards development; Surveillance;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.1994.1279942
Filename
1279942
Link To Document