| |
| 2007 | ||
|---|---|---|
| 2 | EE | D. C. Craig, Wlodzimierz M. Zuberek: Verification of Component Behavioral Compatibility. DepCoS-RELCOMEX 2007: 294-304 |
| 2006 | ||
| 1 | EE | D. C. Craig, Wlodzimierz M. Zuberek: Compatibility of Software Components - Modeling and Verification. DepCoS-RELCOMEX 2006: 11-18 |
| 1 | Wlodzimierz M. Zuberek | [1] [2] |