[American Institute of Aeronautics and Astronautics 8th Computing in Aerospace Conference - Baltimore,MD,U.S.A. (21 October 1991 - 24 October 1991)] 8th Computing in Aerospace Conference - Verifying properties of Ada designs using colored Petri nets

[American Institute of Aeronautics and A

✍ VIDALE, R.; FUJITA-YUHAS, T. 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 804 KB

[American Institute of Aeronautics and A

✍ GOSWAMI, KUMAR; CHOI, GWAN; IYER, RAVI 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 962 KB

[American Institute of Aeronautics and A

✍ BARRETTE, ANNE 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 193 KB

[American Institute of Aeronautics and A

✍ LADWIG, MICHAEL; PAGE, WALTON; DOLSEN, GARY 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 184 KB

[American Institute of Aeronautics and A

✍ SAAB, DANIEL 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 148 KB

[American Institute of Aeronautics and A

✍ YU, FRANCIS 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 364 KB