𝔖 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) - Model Checking Live Sequence Charts

✍ Scribed by Jun Sun, ; Jin Song Dong,

Book ID: 126655896
Publisher: IEEE
Year: 2005
Weight: 210 KB
Category: Article
ISBN-13: 9780769522845
DOI: 10.1109/ICECCS.2005.60

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) - 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) - 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) - The Preservation of Interleaving Equivalences

✍ Jianmin Jiang, ; Jinzhao Wu, 📂 Article 📅 2005 🏛 IEEE ⚖ 320 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) - Formal Verification of an Array-Based Nonblocking Queue

✍ Colvin, R.; Groves, L. 📂 Article 📅 2005 🏛 IEEE ⚖ 181 KB