SAVCBS Logo Specification and Verification of
Component-Based Systems

A special issue of the journal IET Software will appear in December 2008 (volume 2, number 6) containing 5 revised and extended version of papers that originally appeared in SAVCBS 2006 and 2007.

See also the page of links to various systems and research projects in the area of specification and verification of component-based systems.

Gary T. Leavens
$Date: 2008/11/04 16:12:33 $