𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Model Checking: A Coalgebraic Approach

✍ Scribed by Gao, Jianhua; Jiang, Ying

Book ID: 126754244
Publisher: IEEE
Year: 2011
Weight: 318 KB
Category: Article
ISBN: 1457714876
DOI: 10.1109/TASE.2011.42

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Java Goes TLA+

✍ Lau, Hannes; Nestmann, Uwe 📂 Article 📅 2011 🏛 IEEE ⚖ 701 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Undesirable Aspect Interactions: A Prevention Policy

✍ Sabas, Arsène; Shankar, Subash; Wiels, Virginie; Boyer, Michel 📂 Article 📅 2011 🏛 IEEE ⚖ 144 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism

✍ Smith, Graeme; Helke, Steffen 📂 Article 📅 2011 🏛 IEEE ⚖ 182 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Automatic Specification-Based Testing: Challenges and Possibilities

✍ Liu, Shaoying 📂 Article 📅 2011 🏛 IEEE ⚖ 217 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions

✍ Xia, Yunni; Dai, Gang; Tang, Fangfang; Zhu, Qingsheng 📂 Article 📅 2011 🏛 IEEE ⚖ 233 KB

[IEEE 2011 IEEE 5th International Sympos

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP

✍ Huang, Yanhong; Zhao, Yongxin; Zhu, Longfei; Li, Qin; Zhu, Huibiao; Shi, Jianqi 📂 Article 📅 2011 🏛 IEEE ⚖ 268 KB