 | 2009 |
|---|
| 4 |       | Dehui Du,
Jing Liu,
Honghua Cao,
Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.
Electr. Notes Theor. Comput. Sci. 243: 69-87 (2009) |
| 2008 |
|---|
| 3 | | Dehui Du,
Jing Liu,
Honghua Cao:
A Rigorous Model of Contract-Based Service Component Architecture.
CSSE (2) 2008: 409-412 |
| 2007 |
|---|
| 2 | | 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 | | Honghua Cao,
Shi Ying,
Dehui Du:
Towards Model-based Verification of BPEL with Model Checking.
CIT 2006: 190 |
