 | 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 |