| |
| 2008 | ||
|---|---|---|
| 3 | EE | Dehui Du, Jing Liu, Honghua Cao: A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412 |
| 2007 | ||
| 2 | EE | Xiangyang Jia, Shi Ying, Tao Zhang, Honghua Cao, Dan Xie: A New Architecture Description Language for Service-Oriented Architec. GCC 2007: 96-103 |
| 2006 | ||
| 1 | EE | Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190 |
| 1 | Dehui Du | [1] [3] |
| 2 | Xiangyang Jia | [2] |
| 3 | Jing Liu | [3] |
| 4 | Dan Xie | [2] |
| 5 | Shi Ying | [1] [2] |
| 6 | Tao Zhang | [2] |