✦ LIBER ✦

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

✍ Scribed by Bhatt, Devesh; Madl, Gabor; Oglesby, David; Schloegel, Kirk

Book ID: 121073832
Publisher: American Institute of Aeronautics and Astronautics
Year: 2010
Weight: 442 KB
Category: Article
ISBN: 1600869637
DOI: 10.2514/6.2010-3452

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 - Static Analysis and Verification of Aerospace Software by Abstract Interpretation

✍ Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jerome; Mauborgne, Lau 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 97 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 - Model-Based Avionics Systems Fault Simulation and Detection

✍ Bharadwaj, Raj; Kulkarni, Chetan; Biswas, Gautam; Kim, Kyusung 📂 Article 📅 2010 🏛 American Institute of Aeronautics and Astronautics ⚖ 394 KB