Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control

Tadashi Koga, Xiaodong Lu, Kinji Mori. Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control. In 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014. pages 154-157, IEEE Computer Society, 2014. [doi]

Authors

Tadashi Koga

This author has not been identified. Look up 'Tadashi Koga' in Google

Xiaodong Lu

This author has not been identified. Look up 'Xiaodong Lu' in Google

Kinji Mori

This author has not been identified. Look up 'Kinji Mori' in Google