✦ LIBER ✦

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Formal Safety Certification of Auto-Generated Aerospace Software [invited]

✍ Scribed by Denney, Ewen; Fischer, Bernd

Book ID: 121060687
Publisher: American Institute of Aeronautics and Astronautics
Year: 2005
Weight: 669 KB
Category: Article
ISBN: 1624100694
DOI: 10.2514/6.2005-6913

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Visions of Automation and Realities of Certification [invited]

✍ Hayhurst, Kelly; Holloway, C. Michael 📂 Article 📅 2005 🏛 American Institute of Aeronautics and Astronautics ⚖ 129 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Nanotechnology Applied to Aerospace & Aeronautics : Swarming

✍ Szu, Harold; Xi, Ning; Liou, William; Ro, Kapseong 📂 Article 📅 2005 🏛 American Institute of Aeronautics and Astronautics ⚖ 244 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Expecting the Unexpected - Radiation Hardened Software

✍ Mehlitz, Peter; Penix, John 📂 Article 📅 2005 🏛 American Institute of Aeronautics and Astronautics ⚖ 644 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Spacecraft Health & Safety Monitoring Without Limits

✍ Herrera, Leeha; Chura, Carolyn 📂 Article 📅 2005 🏛 American Institute of Aeronautics and Astronautics ⚖ 474 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Systems of Systems Verification

✍ Rouff, Christopher; Hinchey, Michael; Rash, James; Truszkwoski, Walter 📂 Article 📅 2005 🏛 American Institute of Aeronautics and Astronautics ⚖ 230 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Robust Planning Under Uncertainty

✍ Abramson, Mark; Bryant, Corban; Carr, Francis; Key, Ramsay; Kolitz, Stephan; Sak 📂 Article 📅 2005 🏛 American Institute of Aeronautics and Astronautics ⚖ 678 KB