Hanmei Cui

According to our database1, Hanmei Cui authored at least 3 papers between 2004 and 2007.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures.
IEEE Trans. Instrumentation and Measurement, 2007

On Formal MOM Modeling.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

2004
Translation from Adapted UML to Promela for CORBA-Based Applications.
Proceedings of the Model Checking Software, 2004


  Loading...