𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Twelfth Real-Time Systems Symposium - San Antonio, TX, USA (4-6 Dec. 1991)] [1991] Proceedings Twelfth Real-Time Systems Symposium - Towards an automatic synthesis system for real-time software

✍ Scribed by Smith, T.E.; Setliff, D.E.

Book ID: 126673784
Publisher: IEEE Comput. Soc. Press
Year: 1991
Weight: 885 KB
Category: Article
ISBN-13: 9780818624506
DOI: 10.1109/REAL.1991.160356

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Run-time monitoring of real-time systems

✍ Chodrow, S.E.; Jahanian, F.; Donner, M. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 863 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 - Real-time features for Ada 9X

✍ Baker, T.; Pazy, O. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 985 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 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 - Clairvoyance, capricious timing faults, causality, and real-time specifications

✍ Stuart, D.A.; Clements, P.C. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 956 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 priority ceiling protocol for multiple-instance resources

✍ Chen, M.-I.; Lin, K.-J. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 801 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 - On non-preemptive scheduling of period and sporadic tasks

✍ Jeffay, K.; Stanat, D.F.; Martel, C.U. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 965 KB