[American Institute of Aeronautics and Astronautics 5th Computers in Aerospace Conference - Long Beach,CA,U.S.A. (21 October 1985 - 23 October 1985)] 5th Computers in Aerospace Conference - Verified Ada - A key to reliable software

[American Institute of Aeronautics and A

✍ COHEN, N. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 844 KB

[American Institute of Aeronautics and A

✍ AMUNDSEN, M.; KASTNER, W.; KRUEGER, S.; MANUEL, G.; MATTHEWS, L. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 400 KB

[American Institute of Aeronautics and A

✍ SYLVESTER, R. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 380 KB

[American Institute of Aeronautics and A

✍ MUNCK, R. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 394 KB

[American Institute of Aeronautics and A

✍ LAIRD, J.; VICTA, R.; KOPPES, M.; BURTON, B. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 392 KB

[American Institute of Aeronautics and A

✍ ANDERSON, C.; MCNICHOLL, D. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 385 KB