𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - Abstracting formal specifications to generate software tests via model checking

✍ Scribed by Ammann, P.; Black, P.E.

Book ID: 121194438
Publisher: IEEE
Year: 1999
Tongue: English
Weight: 922 KB
Edition: 1999
Volume: B.6-6 vol.2
Category: Article
ISBN-13: 9780780357495
DOI: 10.1109/DASC.1999.822091

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Gateway to the New Millennium. 18t

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - The evolution of the Global Hawk and MALD avionics systems

✍ Loegering, G.; Evans, D. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 651 KB

[IEEE Gateway to the New Millennium. 18t

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - Towards a pilot-centered turbulence assessment and monitoring system

✍ Bass, E.J. 📂 Article 📅 1999 🏛 IEEE ⚖ 670 KB

[IEEE Gateway to the New Millennium. 18t

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - Practical validation of model based code generation for automotive applications

✍ Toeppe, S.; Ranville, S.; Bostic, D.; Wang, Y. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 954 KB

[IEEE Gateway to the New Millennium. 18t

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - A component based, event driven framework for rapid prototyping real-time avionics systems

✍ Adams, M.M.; Grib, T.E. 📂 Article 📅 1999 🏛 IEEE ⚖ 634 KB

[IEEE Gateway to the New Millennium. 18t

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - Space integrated GPS/INS (SIGI) navigation system for Space Shuttle

✍ Willms, B. 📂 Article 📅 1999 🏛 IEEE ⚖ 641 KB

[IEEE Gateway to the New Millennium. 18t

[IEEE Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings - St Louis, MO, USA (24-29 Oct. 1999)] Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) - Analysis of radar coverage overlap over the continental U.S

✍ Rudel, M.-P.; Baldwin, J.; Tang, R. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 466 KB