𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1993] IEEE Workshop on Real-Time Applications - New York, NY, USA (13-14 May 1993)] [1993] Proceedings of the IEEE Workshop on Real-Time Applications - Applying formal methods to an embedded real-time avionics system

✍ Scribed by Clements, P.C.; Heitmeyer, C.L.; Labaw, B.G.; Mok, A.K.

Book ID: 126740279
Publisher: IEEE Comput. Soc. Press
Year: 1993
Weight: 387 KB
Category: Article
ISBN-13: 9780818641305
DOI: 10.1109/RTA.1993.263118

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1993] IEEE Wor

[IEEE Comput. Soc. Press [1993] IEEE Workshop on Real-Time Applications - New York, NY, USA (13-14 May 1993)] [1993] Proceedings of the IEEE Workshop on Real-Time Applications - A real-time image filtration system

✍ Laplante, P.A.; Zalewski, D. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 124 KB

[IEEE Comput. Soc. Press [1993] IEEE Wor

[IEEE Comput. Soc. Press [1993] IEEE Workshop on Real-Time Applications - New York, NY, USA (13-14 May 1993)] [1993] Proceedings of the IEEE Workshop on Real-Time Applications - TRACS: a flexible real-time environment for traffic control systems

✍ Ancilotti, P.; Buttazzo, G.; Di Natale, M.; Spuri, M. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 373 KB

[IEEE Comput. Soc. Press [1993] IEEE Wor

[IEEE Comput. Soc. Press [1993] IEEE Workshop on Real-Time Applications - New York, NY, USA (13-14 May 1993)] [1993] Proceedings of the IEEE Workshop on Real-Time Applications - Software reengineering in a C/sup 3/I domain

✍ Levitz, M.; Renda, L.A. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 337 KB

[IEEE Computer. Soc. Press 11th IEEE Wor

[IEEE Computer. Soc. Press 11th IEEE Workshop on Real-Time Operating Systems and Software - Seattle, WA, USA (18-19 May 1994)] Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software - Window-consistent replication for real-time applications

✍ Rexford, J.; Mehra, A.; Dolter, J.; Jahanian, F. 📂 Article 📅 1994 🏛 IEEE Computer. Soc. Press ⚖ 464 KB

[IEEE Computer Soc. Press Seventh Euromi

[IEEE Computer Soc. Press Seventh Euromicro Workshop on Real-Time Systems - Odense, Denmark (14-16 June 1995)] Proceedings Seventh Euromicro Workshop on Real-Time Systems - A new method for optimization of allocation and scheduling in real time applications

✍ Coli, M.; Palazzari, P. 📂 Article 📅 1995 🏛 IEEE Computer Soc. Press ⚖ 651 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - A Petri-net-based approach to real-time program analysis

✍ Buy, U.; Sloan, R. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 471 KB