共 50 条
- [1] COLLISION AVOIDANCE AND FUTURE OF AIR-TRAFFIC CONTROL JOURNAL OF NAVIGATION, 1973, 26 (04): : 423 - 430
- [2] AIRBORNE COLLISION AVOIDANCE AND FAILURE OF AIR-TRAFFIC CONTROL JOURNAL OF NAVIGATION, 1973, 26 (04): : 508 - 509
- [4] COMPUTER-MODEL OF A COLLISION-AVOIDANCE SYSTEM FOR AIR-TRAFFIC CONTROL JOURNAL OF NAVIGATION, 1983, 36 (02): : 288 - 301
- [5] SEPARATION AND COLLISION RISK IN AIR-TRAFFIC CONTROL ELECTRONICS & COMMUNICATIONS IN JAPAN, 1977, 60 (11): : 86 - 93
- [7] Solving air-traffic problems with ''possible worlds'' EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 144 - 156
- [8] AUTOMATIC DETECTION OF COLLISION RISK FOR THE CONTROL OF AIR-TRAFFIC IN FRANCE JOURNAL OF NAVIGATION, 1979, 32 (03): : 431 - 431