Jeffrey O'Leary, Alok Srivastava
FAA’s controller pilot automatic data communication (data comm) system software development
HILT, 2012.
@inproceedings{HILT-2012-OLearyS, author = "Jeffrey O'Leary and Alok Srivastava", booktitle = "{Proceedings of the ACM Conference on High Integrity Language Technology}", doi = "10.1145/2402676.2402700", isbn = "978-1-4503-1505-0", pages = "71--72", publisher = "{ACM}", title = "{FAA’s controller pilot automatic data communication (data comm) system software development}", year = 2012, }