Inproceedings,

Modular Methods for Verification and Validation of Air Traffic Control Algorithms.

, and .
Infotech@Aerospace, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews