Craig, Donald C.Group by: Item Type | No Grouping Jump to: Conference or Workshop Item | Thesis Number of items: 5. Conference or Workshop ItemZuberek, 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. 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. ThesisCraig, Donald C. (2007) Compatibility of software components: modelling and verification. Doctoral (PhD) thesis, Memorial University of Newfoundland. Craig, Donald C. (1996) Extensible hierarchical object-oriented logic simulation with an adaptable graphical user interface. Masters thesis, Memorial University of Newfoundland. |
