A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
Infotech@aerospace (Conference)
01.01.2015
10 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2016
|