[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Reliability analysis of CSP specifications - A new method using Petri nets

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Software infrastructure - A reusable framework

✍ Daly, Nancy 📂 Article 📅 1995 🏛 American Institute of Aeronautics and Astronautics ⚖ 660 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Formal methods for radar system design

✍ Nissanke, N 📂 Article 📅 1995 🏛 American Institute of Aeronautics and Astronautics ⚖ 583 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Advanced flight experiment automation development

✍ Groleau, Nicolas 📂 Article 📅 1995 🏛 American Institute of Aeronautics and Astronautics ⚖ 877 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Parallel CFD design on network-based computer

✍ Cheung, Samson 📂 Article 📅 1995 🏛 American Institute of Aeronautics and Astronautics ⚖ 689 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Intelligent reliability analysis tool for fault-tolerant system design

✍ Pukite, Paul 📂 Article 📅 1995 🏛 American Institute of Aeronautics and Astronautics ⚖ 989 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics 10th Computing in Aerospace Conference - San Antonio,TX,U.S.A. (28 March 1995 - 30 March 1995)] 10th Computing in Aerospace Conference - Using neural networks to improve built-in test

✍ Elerin, Liese; Hintz, Joseph; Aylstock, Frederick; Learoyd, Charles; Press, Rona 📂 Article 📅 1995 🏛 American Institute of Aeronautics and Astronautics ⚖ 848 KB