UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Validating Distributed Object and Component Designs

Kaveh, N and Emmerich, W (2003) Validating Distributed Object and Component Designs. In: Bernardo, M and Inverardi, P, (eds.) Formal Methods for Software Architecture. (63 - 91). Springer Verlag

An open access version is available from UCL Discovery

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
282Kb

Type:Book chapter
Title:Validating Distributed Object and Component Designs
Open access status:An open access version is available from UCL Discovery
Keywords:ARCHITECTURE, COMPONENT, design, Methods, Software
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record