[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, CorinaYear:
2009
Language:
english
DOI:
10.1109/aero.2009.4839621
File:
PDF, 254 KB
english, 2009