On the formal verification of the TCAS conflict resolution algorithms

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 1997, Pages 1829-1834

  Lygeros, John ^a   Lynch, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COLLISION AVOIDANCE; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; NETWORK PROTOCOLS;

TRAFFIC ALERT AND COLLISION AVOIDANCE SYSTEMS (TCAS);

AIR TRAFFIC CONTROL;

EID: 0031345144     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)