✦ LIBER ✦

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Logic Model Checking of Time-Periodic Real-Time Systems

✍ Scribed by Florian, Mihai; Gamble, Ed; Holzmann, Gerard

Book ID: 118054880
Publisher: American Institute of Aeronautics and Astronautics
Year: 2012
Weight: 240 KB
Category: Article
ISBN: 1600869394
DOI: 10.2514/6.2012-2607

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 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Airport Capacity Prediction Integrating Ensemble Weather Forecasts

✍ Kicinger, Rafal; Krozel, James; Steiner, Matthias; Pinto, James 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics ⚖ 934 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Enhancing ADS-B for Future UAV Operations

✍ Sampigethaya, Radhakrishna; Poovendran, Radha 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics ⚖ 424 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Sensor Platform Management Strategies in a Multi-Threat Environment

✍ Mane, Muharrem; DeLaurentis, Daniel 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics ⚖ 560 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Fatigue Life Prediction Using Hybrid Prognosis for Structural Health Monitoring

✍ Neerrukatti, Rajesh; Liu, Yingtao; Liu, Kuang; Chattopadhyay, Aditi 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics ⚖ 842 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Extending Model Based Systems Engineering for Human Machine Interaction Analysis and Fault Tolerant Design

✍ Orellana, Douglas; Madni, Azad 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics ⚖ 599 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Control Allocation for a Modified Quadrotor Helicopter Based on Reliability Analysis

✍ Chamseddine, Abbas; Sadeghzadeh, Iman; Zhang, Youmin; Theilliol, Didier; Khelass 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics ⚖ 940 KB