Craig, Donald C.

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Zuberek, W. M. and Craig, Donald C. (2007) Multicomponent Compatibility and its Verification. In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia.

Zuberek, W. M. and Craig, Donald C. (2007) Verification of Component Behavioral Compatibility. In: 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 14-16 June 2007, Szklarska, Poland.

Craig, Donald C. (2007) Compatibility of software components: modelling and verification. Doctoral (PhD) thesis, Memorial University of Newfoundland.

Craig, Donald C. and Zuberek, W. M. (2006) Compatibility of Software Components - Modeling and Verification. In: 2006 International Conference on Dependability of Computer Systems, 25-27 May 2006, Szklarska Poreba, Poland.

Craig, Donald C. (1996) Extensible hierarchical object-oriented logic simulation with an adaptable graphical user interface. Masters thesis, Memorial University of Newfoundland.

This list was generated on Thu Mar 28 16:36:11 2024 NDT.