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]
@inproceedings{KogaLM14,
title = {Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control},
author = {Tadashi Koga and Xiaodong Lu and Kinji Mori},
year = {2014},
doi = {10.1109/HASE.2014.29},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2014.29},
researchr = {https://researchr.org/publication/KogaLM14},
cites = {0},
citedby = {0},
pages = {154-157},
booktitle = {15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014},
publisher = {IEEE Computer Society},
}