𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - Newthink - An Orwellian specification language for real-time safety critical systems

✍ Scribed by Mukherjee, P.; Stavridou, V.

Book ID: 126629418
Publisher: IEEE
Year: 1992
Tongue: English
Weight: 516 KB
Category: Article
ISBN-13: 9780818628153
DOI: 10.1109/EMWRT.1992.637483

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fourth Euromicro workshop on Real-

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - The refinement of real-time systems

✍ Scholefield, D.J.; Zedan, H.S.M. 📂 Article 📅 1992 🏛 IEEE ⚖ 526 KB

[IEEE Fourth Euromicro workshop on Real-

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - Deadline scheduling in fault tolerant real time systems

✍ Gresser, K.; Thielen, H. 📂 Article 📅 1992 🏛 IEEE ⚖ 472 KB

[IEEE Fourth Euromicro workshop on Real-

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - A New Approach To Real-time Transaction

✍ Sang H. Son, ; Juhnyoung Lee, 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 648 KB

[IEEE Fourth Euromicro workshop on Real-

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - Time interval semantics and implementation of a real-time programming language

✍ He Jifeng, ; Bowen, J. 📂 Article 📅 1992 🏛 IEEE ⚖ 535 KB

[IEEE Fourth Euromicro workshop on Real-

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - An enhanced snoopy cache design for real-time multi-processing

✍ Kirk, D.B. 📂 Article 📅 1992 🏛 IEEE ⚖ 474 KB

[IEEE Fourth Euromicro workshop on Real-

[IEEE Fourth Euromicro workshop on Real-Time Systems - Athens, Greece (1992.06.3-1992.06.5)] Fourth Euromicro workshop on Real-Time Systems - A programmable video coder based on transputers

✍ Brofferio, S.; Comunale, D.; Mori, L.; Rampa, V. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 446 KB