Donald C. Craig

According to our database, Donald C. Craig authored at least 4 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2010

Modelling and performance analysis of component-based systems.

Wlodzimierz M. Zuberek, Ilona Bluemke, Donald C. Craig

Int. J. Crit. Comput. Based Syst., 2010

2007

Verification of Component Behavioral Compatibility.

Donald C. Craig, Wlodzimierz M. Zuberek

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

Multicomponent Compatibility and its Verification.

Donald C. Craig, Wlodek M. Zuberek

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Compatibility of Software Components - Modeling and Verification.

Donald C. Craig, Wlodzimierz M. Zuberek

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006