𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press 1993 Real-Time Systems Symposium - Raleigh Durham, NC, USA (1-3 Dec. 1993)] 1993 Proceedings Real-Time Systems Symposium - Specification and verification of a distributed real-time arbitration protocol

✍ Scribed by Hooman, J.

Book ID: 126765504
Publisher: IEEE Comput. Soc. Press
Year: 1993
Weight: 897 KB
Category: Article
ISBN-13: 9780818644801
DOI: 10.1109/REAL.1993.393488

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 1993 Real-Time

[IEEE Comput. Soc. Press 1993 Real-Time Systems Symposium - Raleigh Durham, NC, USA (1-3 Dec. 1993)] 1993 Proceedings Real-Time Systems Symposium - Scheduling and communication in MetaH

✍ Vestal, S.; Binns, P. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 619 KB

[IEEE Comput. Soc. Press 1993 Real-Time

[IEEE Comput. Soc. Press 1993 Real-Time Systems Symposium - Raleigh Durham, NC, USA (1-3 Dec. 1993)] 1993 Proceedings Real-Time Systems Symposium - Architectural considerations in the design of real-time kernels

✍ Lo, S.L.A.; Hutchinson, N.C.; Chanson, S.T. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 980 KB

[IEEE Comput. Soc. Press 1993 Real-Time

[IEEE Comput. Soc. Press 1993 Real-Time Systems Symposium - Raleigh Durham, NC, USA (1-3 Dec. 1993)] 1993 Proceedings Real-Time Systems Symposium - The use of preemptive priority-based scheduling for space applications

✍ Bailey, C.M.; Fyfe, E.; Vardanega, T.; Wellings, A.J. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 447 KB

[IEEE Comput. Soc Real-Time Systems Symp

[IEEE Comput. Soc Real-Time Systems Symposium - San Francisco, CA, USA (2-5 Dec. 1997)] Proceedings Real-Time Systems Symposium - A constraint-based approach for specification and verification of real-time systems

✍ Gupta, G.; Pontelli, E. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 1007 KB

[IEEE Comput. Soc. Press Twelfth Real-Ti

[IEEE Comput. Soc. Press Twelfth Real-Time Systems Symposium - San Antonio, TX, USA (4-6 Dec. 1991)] [1991] Proceedings Twelfth Real-Time Systems Symposium - A requirements specification method for adaptive real-time systems

✍ Muntz, A.H.; Lichota, R.W. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 797 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 - A real-time image filtration system

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