FAA's controller pilot automatic data communication (data comm) system software development

Jeffrey O'Leary, Alok Srivastava. FAA's controller pilot automatic data communication (data comm) system software development. In Ben Brosgol, Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. pages 71-72, ACM, 2012. [doi]

Authors

Jeffrey O'Leary

This author has not been identified. Look up 'Jeffrey O'Leary' in Google

Alok Srivastava

This author has not been identified. Look up 'Alok Srivastava' in Google