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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=943137
