[IEEE 2009 IEEE Aerospace conference - Big Sky, MT, USA...

  • Main
  • [IEEE 2009 IEEE Aerospace conference -...

[IEEE 2009 IEEE Aerospace conference - Big Sky, MT, USA (2009.03.7-2009.03.14)] 2009 IEEE Aerospace conference - Verification and validation of air traffic systems: Tactical separation assurance

Bushnell, David, Giannakopoulou, Dimitra, Mehlitz, Peter, Paielli, Russell, Pasareanu, Corina
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2009
Language:
english
DOI:
10.1109/aero.2009.4839621
File:
PDF, 254 KB
english, 2009
Conversion to is in progress
Conversion to is failed