Formal verification of air traffic management algorithms.

Project Details

StatusFinished
Effective start/end date1/01/0531/03/06

Funding

  • UK-based charities: £34,045.00