𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Safety-Liveness Semantics for UML 2.0 Sequence Diagrams

✍ Scribed by Grosu, R.; Smolka, S.A.

Book ID: 120005708
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 184 KB
Category: Article
ISBN-13: 9780769523637
DOI: 10.1109/ACSD.2005.31

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - An Algebra of Pareto Points

✍ Geilen, M.; Basten, T.; Theelen, B.; Otten, R. 📂 Article 📅 2005 🏛 IEEE ⚖ 322 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Automating Synthesis of Asynchronous Communication Mechanisms

✍ Cortadella, J.; Gorgonio, K.; Fei Xia, ; Yakovlev, A. 📂 Article 📅 2005 🏛 IEEE ⚖ 211 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Controlling Speculative Design Processes Using Rich Component Models

✍ Damm, W. 📂 Article 📅 2005 🏛 IEEE ⚖ 74 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library

✍ Smirnov, A.; Taubin, A.; Ming Su, ; Karpovsky, M. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 226 KB