𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - The Preservation of Interleaving Equivalences

✍ Scribed by Jianmin Jiang, ; Jinzhao Wu,

Book ID: 126607301
Publisher: IEEE
Year: 2005
Weight: 320 KB
Category: Article
ISBN-13: 9780769522845
DOI: 10.1109/ICECCS.2005.79

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Mediation Systems Modeling and Verification

✍ Li Yang, ; Ege, R.K.; Huiqun Yu, 📂 Article 📅 2005 🏛 IEEE ⚖ 157 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Rapid Prototyping of Complex Interactive Simulation Systems

✍ Zhiming Zhao, ; van Albada, D.; Sloot, P. 📂 Article 📅 2005 🏛 IEEE ⚖ 266 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Model Checking Live Sequence Charts

✍ Jun Sun, ; Jin Song Dong, 📂 Article 📅 2005 🏛 IEEE ⚖ 210 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Grammar-Specified Model-Driven Architectures

✍ Jun Kong, ; Kang Zhang, ; Jing Dong, 📂 Article 📅 2005 🏛 IEEE ⚖ 68 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Design Patterns for Software Health Monitoring

✍ Lau, A.; Seviora, R.E. 📂 Article 📅 2005 🏛 IEEE ⚖ 371 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Using the Metamodel Mechanism to Support Class Refinement

✍ Wuwei Shen, ; Weng Liong Low, 📂 Article 📅 2005 🏛 IEEE ⚖ 299 KB