Dehui Du (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

5 Dehui Du, Jing Liu, Honghua Cao: A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412

3 Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190

Selection of 3 from 8 records - Dehui Du has 11 coauthors

6		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)
5		Dehui Du, Jing Liu, Honghua Cao: A Rigorous Model of Contract-Based Service Component Architecture. CSSE (2) 2008: 409-412
3		Honghua Cao, Shi Ying, Dehui Du: Towards Model-based Verification of BPEL with Model Checking. CIT 2006: 190