Hanmei Cui

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

3 Hanmei Cui, Jessica Chen: On Formal MOM Modeling. ISPA 2007: 563-576

2 Jessica Chen, Hanmei Cui: DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures. IEEE T. Instrumentation and Measurement 56(1): 56-62 (2007)

2004

1 Jessica Chen, Hanmei Cui: Translation from Adapted UML to Promela for CORBA-Based Applications. SPIN 2004: 234-251

	2007
3		Hanmei Cui, Jessica Chen: On Formal MOM Modeling. ISPA 2007: 563-576
2		Jessica Chen, Hanmei Cui: DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures. IEEE T. Instrumentation and Measurement 56(1): 56-62 (2007)
	2004
1		Jessica Chen, Hanmei Cui: Translation from Adapted UML to Promela for CORBA-Based Applications. SPIN 2004: 234-251

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page