𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)

✍ Scribed by Xu, Liang

Book ID: 120599388
Publisher: IEEE
Year: 2008
Weight: 255 KB
Category: Article
ISBN: 0769533124
DOI: 10.1109/QSIC.2008.10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Eighth International Conferen

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Verifying Business Process Compatibility (Short Paper)

✍ Wong, Peter Y. H.; Gibbons, Jeremy 📂 Article 📅 2008 🏛 IEEE ⚖ 303 KB

[IEEE 2008 Eighth International Conferen

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Model Transformation Specification and Verification

✍ Lano, Kevin; Clark, David 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 285 KB

[IEEE 2008 Eighth International Conferen

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Mapping Software Architecture Specification to Rewriting Logic (Short Paper)

✍ Fu, Yujian; Dong, Zhijiang; Ding, Junhua; He, Xudong 📂 Article 📅 2008 🏛 IEEE ⚖ 212 KB

[IEEE 2008 Eighth International Conferen

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments

✍ Oh, Hyejin; Choi, Byoungju; Han, Hyuksoo; Wong, W. Eric 📂 Article 📅 2008 🏛 IEEE ⚖ 404 KB