𝔖 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 - Back to the moon: The verification of a small microprocessor’s logic design

✍ Scribed by Blair-Smith, Hugh; Katz, Richard; Kleyner, Igor

Book ID: 115498557
Publisher: IEEE
Year: 2008
Weight: 382 KB
Volume: 0
Category: Article
ISBN: 1424422078
DOI: 10.1109/dasc.2008.4702854

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 - Software model checking for avionics systems

✍ Cofer, Darren; Whalen, Michael; Miller, Steven 📂 Article 📅 2008 🏛 IEEE ⚖ 412 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 - 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 - 3D airspace design by evolutionary computation

✍ Delahaye, Daniel; Puechmorel, Stephane 📂 Article 📅 2008 🏛 IEEE ⚖ 862 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