𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems

✍ Scribed by Jia, Yangli; Li, Zhoujun; Zhang, Zhenling

Book ID: 111689903
Publisher: IEEE
Year: 2008
Weight: 283 KB
Volume: 0
Category: Article
ISBN: 0769533361
DOI: 10.1109/csse.2008.1132

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - E-learning Recommendation System

✍ Tan, Huiyi; Guo, Junfei; Li, Yong 📂 Article 📅 2008 🏛 IEEE ⚖ 346 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Data Updating and Query in Real-Time Data Warehouse System

✍ Zhu, Youchan; An, Lei; Liu, Shuangxi 📂 Article 📅 2008 🏛 IEEE ⚖ 238 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Study on Color Characteristic of Monitor

✍ Zhang, Xia; Pan, Haijing 📂 Article 📅 2008 🏛 IEEE ⚖ 299 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Application of Fuzzy Automata to Fuzzy Signal Processing

✍ Wu, QingE; Cui, GuangZhao 📂 Article 📅 2008 🏛 IEEE ⚖ 319 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Refactoring Formal Specifications in Object-Z

✍ Liu, Hui; Zhu, Bin 📂 Article 📅 2008 🏛 IEEE ⚖ 170 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Parallel Image Processing Based on CUDA

✍ Yang, Zhiyi; Zhu, Yating; Pu, Yong 📂 Article 📅 2008 🏛 IEEE ⚖ 471 KB