Modular Methods for Verification and Validation of Air Traffic Control Algorithms

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]

No reviews for this publication, yet.