𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - The New Development of PRISM for Probabilistic Model Checking

✍ Scribed by Ji, Mingyu; Huang, Shaobin; Huang, Hongtao; Zhang, Tao

Book ID: 126709328
Publisher: IEEE
Year: 2009
Weight: 195 KB
Category: Article
ISBN: 1424467543
DOI: 10.1109/ICICSE.2009.61

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 Fourth International Conferen

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - Agent-Based Plant Growth Modeling

✍ Li, Xiaoming; Su, Zhongbin; Sun, Hongmin; Zheng, Ping 📂 Article 📅 2009 🏛 IEEE ⚖ 432 KB

[IEEE 2009 Fourth International Conferen

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - Approach of Stitching VRML Clips Together

✍ Li, Zhen; Li, Hanjing; Li, Sheng; Zhao, Tiejun 📂 Article 📅 2009 🏛 IEEE ⚖ 291 KB

[IEEE 2009 Fourth International Conferen

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - Ontology Security Strategy of Security Data Integrity

✍ Meng, Yulong; Yin, Guisheng; Geng, Ke 📂 Article 📅 2009 🏛 IEEE ⚖ 320 KB

[IEEE 2009 Fourth International Conferen

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - Software Evolution Method Considering Software Historical Behavior

✍ Zhao, Qian; Wang, Huiqiang; Feng, Guangsheng; Lu, Xu 📂 Article 📅 2009 🏛 IEEE ⚖ 463 KB

[IEEE 2009 Fourth International Conferen

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - A Content-Based Self-Feedback E-government Network Security Model

✍ Xia, Songzhu; Zhang, Jianpei; Yang, Jing; Ni, Jun 📂 Article 📅 2009 🏛 IEEE ⚖ 319 KB

[IEEE 2009 Fourth International Conferen

[IEEE 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE) - Harbin, TBD, China (2009.12.21-2009.12.22)] 2009 Fourth International Conference on Internet Computing for Science and Engineering - A High-Level Fuzzy Timed Petri-Net-Based Approach

✍ Liu, Xin; Yin, Gui-Sheng; Zhang, Zi-Ying 📂 Article 📅 2009 🏛 IEEE ⚖ 266 KB