𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - Automatic verification system based on automaton theory

✍ Scribed by Yamane, S.

Book ID: 127043413
Publisher: IEEE Comput. Soc. Press
Year: 1996
Weight: 417 KB
Category: Article
ISBN-13: 9780818675157
DOI: 10.1109/wpdrts.1996.557693

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 4th Internation

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - User-level real-time network system on Real-Time Mach

✍ Nakajima, T.; Tokuda, H. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 1009 KB

[IEEE Comput. Soc. Press 4th Internation

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - Issues in designing open distributed real-time databases

✍ Ginis, R.; Wolfe, V.F. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 413 KB

[IEEE Comput. Soc. Press 4th Internation

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - Implementing distributed real-time control systems in a functional programming language

✍ Wikstrom, C. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 703 KB

[IEEE Comput. Soc. Press 4th Internation

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - Communication issues in heterogeneous embedded systems

✍ Wenheng Liu, ; Kostis, W.J.; Prasanna, V.K. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 532 KB

[IEEE Comput. Soc. Press 4th Internation

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - An approach to monitoring and assertion-checking of real-time specifications

✍ Brockmeyer, M.; Jahanian, F.; Heitmeyer, C.; Labaw, B. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 774 KB

[IEEE Comput. Soc. Press 4th Internation

[IEEE Comput. Soc. Press 4th International Workshop on Parallel and Distributed Real-Time Systems - Honolulu, HI, USA (15-16 April 1996)] Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems - Use case maps for attributing behaviour to system architecture

✍ Buhr, R.J.A. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 808 KB