![](/img/cover-not-exists.png)
[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation, and Control Conference and Exhibit - Austin, Texas ()] AIAA Guidance, Navigation, and Control Conference and Exhibit - Formal Verification of Maneuvering Target Tracking
Moulin, Mark, Gluhovsky, Leonid, Bendersky, EliYear:
2003
Language:
english
DOI:
10.2514/6.2003-5716
File:
PDF, 327 KB
english, 2003