𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets

✍ Scribed by Kahloul, Laid; Chaoui, Allaoua; Djouani, Karim

Book ID: 118122366
Publisher: IEEE
Year: 2010
Weight: 398 KB
Volume: 0
Category: Article
ISBN: 1424478472
DOI: 10.1109/tase.2010.28

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 4th IEEE International Sympos

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode

✍ Wang, Shengyi; Qiu, Zongyan; Qin, Shengchao; Chin, Wei-Ngan 📂 Article 📅 2010 🏛 IEEE ⚖ 267 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 - Model Checking: A Coalgebraic Approach

✍ Gao, Jianhua; Jiang, Ying 📂 Article 📅 2011 🏛 IEEE ⚖ 318 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 2010 IEEE 12th International Sympo

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Architecture-Based Reliability Modeling of Web Services Using Petri Nets

✍ Rahmani, Cobra; Azadmanesh, Azad; Siy, Harvey 📂 Article 📅 2010 🏛 IEEE ⚖ 441 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 - 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