𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - DREAD: distributed real-time air defense system

✍ Scribed by Manikutty, A.; Merugu, S.; Manimaran, G.; Murthy, C.S.R.

Book ID: 126766909
Publisher: IEEE Comput. Soc
Year: 1997
Weight: 826 KB
Edition: 1997
Category: Article
ISBN-13: 9780818680960
DOI: 10.1109/WPDRTS.1997.637931

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Specification of hybrid systems in cTLA+

✍ Herrmann, P.; Krumm, H. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 466 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Simulation-based performance analysis of distributed systems

✍ Schwarz, P.; Donath, U. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 566 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Prioritized token-based mutual exclusion for distributed systems

✍ Mueller, F. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 922 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - VERDICT-a tool for model-based verification of real-time logic process controllers

✍ Kowalewski, S.; Treseler, H. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 416 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Modeling and analysis of hybrid systems: a new approach integrating Petri nets and differential equations

✍ Nenninger, G.; Krebs, V. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 353 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 - User-level real-time network system on Real-Time Mach

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