MODELING, SPECIFICATION AND SAFETY ANALYSIS OF CTAS.

MODELING, SPECIFICATION AND SAFETY ANALYSIS OF CENTER-TRACON AUTOMATION SYSTEM

No abstract provided.

• Supplemental Notes:
  • 45 P.: ILL.; INCLUDES BIBLIOGRAPHICAL REFERENCES (P. 33-35). UNIVERSITY OF CALIFORNIA, BERKELEY. MASSACHUSETTS INSTITUTE OF TECHNOLOGY. NATIONAL CENTER OF EXCELLENCE FOR AVIATION OPERATIONS RESEARCH. LANGLEY RESEARCH CENTER. NEXTOR RESEARCH REPORT; RR-97-5 CAPTION TITLE. "30 SEPTEMBER 1997"--COVER. FINAL REPORT.
• Corporate Authors:

  University of California, Berkeley

  Berkeley, CA  United States  94720

  DEPT. OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, U.C. BERKELEY AND THE LABORATORY FOR COMPUTER SCIENCE, MASSACHUSETTS INSTITUTE OF TECHNOLOGY FOR THE NASA LANGLEY RESEARCH CENTER AND THE NATIONAL CENTER OF EXCELLENCE FOR AVIATION OP

  ,    
• Authors:
  • PAPPAS, GEORGE J
• Publication Date: 1997

Language

• English

Subject/Index Terms

• TRT Terms: Air traffic control; Air transportation; Simulation
• Uncontrolled Terms: Hybrid computers
• Subject Areas: Aviation; Operations and Traffic Management;

Filing Info

• Accession Number: 00886127
• Record Type: Publication
• Source Agency: UC Berkeley Transportation Library
• Files: TLIB
• Created Date: Sep 28 1998 12:00AM