𝔖 Bobbio Scriptorium

✦ LIBER ✦

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Static Analysis and Verification of Aerospace Software by Abstract Interpretation

✍ Scribed by Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jerome; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier

Book ID: 121073788
Publisher: American Institute of Aeronautics and Astronautics
Year: 2010
Weight: 97 KB
Category: Article
ISBN: 1600869637
DOI: 10.2514/6.2010-3385

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Towards Scalable Verification of Commercial Avionics Software

✍ Bhatt, Devesh; Madl, Gabor; Oglesby, David; Schloegel, Kirk 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 442 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Miniaturization of Piezoelectric Microphones

✍ Horowitz, Stephen; Mathias, Dustin; Hernandez, Corey; Sanghadasa, Mohan; Ashley, 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 430 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Intelligent Probabilistic Decision System

✍ Allen, David; Przytula, K. Wojtek; Seida, Steven 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 378 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Adaptive Feedforward Aircraft Control

✍ Ishihara, Abraham; Yeh, Yoo; Kumar, Parth; Alley, Nick; Neidhoeffer, Jim 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 869 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Bounded Verification of Adaptive Flight Control Systems

✍ Tiwari, Ashish 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 777 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Online Assessment of Landing Sites

✍ Scherer, Sebastian; Chamberlain, Lyle; Singh, Sanjiv 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 775 KB