High-Level Modeling and Analysis of an Air-Traffic Management System

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1569, Issue , 1999, Pages 3-

  Lynch, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRANSPORTATION; AIRCRAFT; AIRCRAFT ACCIDENTS; AVIATION; COMPUTATION THEORY; FORMAL METHODS; HYBRID SYSTEMS;

AIR TRAFFIC MANAGEMENT SYSTEMS; AIRCRAFT COLLISION AVOIDANCE SYSTEMS; DEMONSTRATION PROJECT; HIGH-LEVEL MODELING; HYBRID I/O AUTOMATON; HYBRID SYSTEM MODELS; KEY SYSTEM COMPONENTS; SOFTWARE BEHAVIOR;

AIR TRAFFIC CONTROL;

EID: 84949477446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_3     Document Type: Conference Paper

References (1)

1. N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, pages 496-510. Springer-Verlag, 1996.