UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Validating Distributed Object and Component Designs

Kaveh, N; 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 Green open access

[img]
Preview
PDF
3.7_sfm03.pdf

Download (288kB)
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
URI: http://discovery.ucl.ac.uk/id/eprint/872
Downloads since deposit
201Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item