𝔖 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 - Specification of hybrid systems in cTLA+

✍ Scribed by Herrmann, P.; Krumm, H.

Book ID: 126734540
Publisher: IEEE Comput. Soc
Year: 1997
Weight: 466 KB
Edition: 1997
Category: Article
ISBN-13: 9780818680960
DOI: 10.1109/WPDRTS.1997.637981

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 - DREAD: distributed real-time air defense system

✍ Manikutty, A.; Merugu, S.; Manimaran, G.; Murthy, C.S.R. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 826 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 Third International Wo

[IEEE Comput. Soc Third International Workshop on Object-Oriented Real-Time Dependable Systems - Newport Beach, CA, USA (5-7 Feb. 1997)] Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems - Object-based checkpoints in distributed systems

✍ Tanaka, K.; Higaki, H.; Takizawa, M. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 636 KB