Natasha A. Neogi, Heber Herencia-Zapana. Modular Methods for Verification and Validation of Air Traffic Control Algorithms. In Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012. 2012. [doi]
@inproceedings{NeogiH12,
title = {Modular Methods for Verification and Validation of Air Traffic Control Algorithms},
author = {Natasha A. Neogi and Heber Herencia-Zapana},
year = {2012},
doi = {10.2514/6.2012-2470},
url = {https://doi.org/10.2514/6.2012-2470},
researchr = {https://researchr.org/publication/NeogiH12},
cites = {0},
citedby = {0},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012},
isbn = {978-1-60086-939-6},
}