𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Software model checking for avionics systems

✍ Scribed by Cofer, Darren; Whalen, Michael; Miller, Steven

Book ID: 115498561
Publisher: IEEE
Year: 2008
Weight: 412 KB
Volume: 0
Category: Article
ISBN: 1424422078
DOI: 10.1109/dasc.2008.4702862

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 IEEE/AIAA 27th Digital Avioni

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Integrated Departure Route Planning

✍ Masalonis, Anthony; Bateman, Hilton; Song, Lixia; Taber, Norma; Wanke, Craig; De 📂 Article 📅 2008 🏛 IEEE ⚖ 571 KB

[IEEE 2008 IEEE/AIAA 27th Digital Avioni

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - IMA Resource Allocation process

✍ Mazuk, Dan 📂 Article 📅 2008 🏛 IEEE ⚖ 376 KB

[IEEE 2008 IEEE/AIAA 27th Digital Avioni

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Security challenges in UAV development

✍ Constantinides, Chris; Parkinson, Paul 📂 Article 📅 2008 🏛 IEEE ⚖ 611 KB

[IEEE 2008 IEEE/AIAA 27th Digital Avioni

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - ARINC 653 role in Integrated Modular Avionics (IMA)

✍ Prisaznuk, Paul J. 📂 Article 📅 2008 🏛 IEEE ⚖ 319 KB

[IEEE 2008 IEEE/AIAA 27th Digital Avioni

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Model-based design analysis of an Avionics Fuel Distributed Control System

✍ Insaurralde, Carlos C.; Seminario, Miguel A.; Jimenez, Juan F.; Giron-Sierra, Jo 📂 Article 📅 2008 🏛 IEEE ⚖ 555 KB

[IEEE 2008 IEEE/AIAA 27th Digital Avioni

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Sensitivity study for long term reliability

✍ White, Allan L. 📂 Article 📅 2008 🏛 IEEE ⚖ 635 KB