PhD defence of David de Oliveira Costa (SEN3)
Thesis: Formal Models for Component Connectors
Promotor: prof. dr. J.J.M.M. Rutten (CWI, RUN), prof. dr. F. Arbab (CWI, UL)
Co-promotores: dr. D.G. Clarke, dr. M. Niqui (CWI)
PhD defence of David de Oliveira Costa (SEN3)Thesis: Formal Models for Component Connectors Promotor: prof. dr. J.J.M.M. Rutten (CWI, RUN), prof. dr. F. Arbab (CWI, UL) Co-promotores: dr. D.G. Clarke, dr. M. Niqui (CWI)
PhD defence of David de Oliveira Costa (SEN3)
Thesis: Formal Models for Component Connectors
Promotor: prof. dr. J.J.M.M. Rutten (CWI, RUN), prof. dr. F. Arbab (CWI, UL)
Co-promotores: dr. D.G. Clarke, dr. M. Niqui (CWI)