𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 International Conference on Computational Intelligence and Software Engineering - Wuhan, China (2009.12.11-2009.12.13)] 2009 International Conference on Computational Intelligence and Software Engineering - Model Checking UML Activity Diagrams with SPIN

✍ Scribed by Li, Jing; Li, Jinhua; Zhang, Fangning

Book ID: 111873020
Publisher: IEEE
Year: 2009
Weight: 342 KB
Volume: 0
Category: Article
ISBN: 1424445078
DOI: 10.1109/cise.2009.5363181

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 International Conference on C

[IEEE 2009 International Conference on Computational Intelligence and Software Engineering - Wuhan, China (2009.12.11-2009.12.13)] 2009 International Conference on Computational Intelligence and Software Engineering - Study and Realization of Supplier Business Intelligence System for Chain Supermarket

✍ Xue, Hong; Guo, Peiyuan; Zhang, Huiyan; Kang, Binbin 📂 Article 📅 2009 🏛 IEEE ⚖ 287 KB

[IEEE 2010 International Conference on C

[IEEE 2010 International Conference on Computational Intelligence and Software Engineering (CiSE) - Wuhan, China (2010.12.10-2010.12.12)] 2010 International Conference on Computational Intelligence and Software Engineering - Modeling of Web Geological Database Management System Based on UML

✍ Huang, Ya; Lai, Jian-qing; Liu, Wen-yu; Mao, Xian-cheng; Fan, Jun-chang 📂 Article 📅 2010 🏛 IEEE ⚖ 234 KB

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) - Hong Kong, China (2009.12.8-2009.12.11)] 2009 IEEE International Conference on Industrial Engineering and Engineering Management - Concurrent-based analysis model of product development flow combining forward with backward chain

✍ Xu, Huan-Min; Yuan, Ming-Hai; Ji, Ai-Min; Wei, Da-Peng 📂 Article 📅 2009 🏛 IEEE ⚖ 516 KB

[IEEE 2009 Second International Conferen

[IEEE 2009 Second International Conference on Future Information Technology and Management Engineering (FITME) - Sanya, China (2009.12.13-2009.12.14)] 2009 Second International Conference on Future Information Technology and Management Engineering - Study on Port Business Intelligence System Combined with Business Performance Management

✍ Wang, Ying; Liu, Ziqiang 📂 Article 📅 2009 🏛 IEEE ⚖ 261 KB

[IEEE 2009 First International Conferenc

[IEEE 2009 First International Conference on Information Science and Engineering - Nanjing, China (2009.12.26-2009.12.28)] 2009 First International Conference on Information Science and Engineering - Accelerated CT Reconstruction Using GPU SIMD Parallel Computing with Bilinear Warping Method

✍ Xiao, Yongshun; Chen, Zhiqiang; Zhang, Li 📂 Article 📅 2009 🏛 IEEE ⚖ 784 KB

[IEEE 2009 International Conference on I

[IEEE 2009 International Conference on Image Analysis and Signal Processing - Linhai, China (2009.04.11-2009.04.12)] 2009 International Conference on Image Analysis and Signal Processing - Timbre model of software musical instrument based on sine interpolation

✍ Cao, Xi-zheng; Meng, Hui-li; Xu, Jiu-cheng 📂 Article 📅 2009 🏛 IEEE ⚖ 466 KB