𝔖 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 - Building a predictable avionics platform in Ada: a case study

✍ Scribed by Locke, C.D.; Vogel, D.R.; Mesler, T.J.

Book ID: 120270417
Publisher: IEEE Comput. Soc. Press
Year: 1991
Tongue: English
Weight: 896 KB
Category: Article
ISBN-13: 9780818624506
DOI: 10.1109/REAL.1991.160372

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 - 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 - 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 - 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 - Towards an automatic synthesis system for real-time software

✍ Smith, T.E.; Setliff, D.E. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 885 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